Theorem CategoryTheory.SimplicialObject.Augmented.ExtraDegeneracy.section_app_comp_hom_app

Modification history

2026-03-20 14:17
Mathlib/AlgebraicTopology/ExtraDegeneracy.lean
chore(AlgebraicTopology): cleaning up ExtraDegeneracy.lean (#36857) …
Added CategoryTheory.SimplicialObject.Augmented.ExtraDegeneracy.section_app_comp_hom_appView on Github →