GitHub - morrison-daniel/Homotopy-Lifting: Proof of the uniqueness and existence of homotopy lifts, and adjacent theorems.

This branch is 2 commits ahead of brandon-sisler/Homotopy-Lifting-Bro:main.

Name	Name	Last commit message	Last commit date
Latest commit morrison-daniel rework Sep 17, 2023 67e592c · Sep 17, 2023 History 163 Commits
Coverings	Coverings	rework	Sep 17, 2023
.DS_Store	.DS_Store	-- First Draft	Jun 14, 2023
.gitignore	.gitignore	Add .cache to .gitignore	Jun 12, 2023
MyProject.lean	MyProject.lean	add notes and silly stuff	Jun 13, 2023
lake-manifest.json	lake-manifest.json	made existance file work, removed whitespace	Jun 12, 2023
lakefile.lean	lakefile.lean	rename project	Jun 15, 2023
lean-toolchain	lean-toolchain	first commit	Jun 12, 2023