Theorem TopCat.Homotopy.h_hom_apply

Modification history

2026-05-01 13:07
Mathlib/Topology/Homotopy/TopCat/Basic.lean
feat: add the category of topological pairs (#36621) …
Added TopCat.Homotopy.h_hom_applyView on Github →