/Homotopy-Lifting-Bro

Proof of the uniqueness and existence of homotopy lifts, and adjacent theorems.

Primary LanguageLean

No issues in this repository yet.