Theorem SSet.RelativeMorphism.HomotopyClass.eq_homotopyClass

Modification history

2025-12-12 09:27
Mathlib/AlgebraicTopology/SimplicialSet/RelativeMorphism.lean
feat(AlgebraicTopology): relative morphisms of simplicial sets (#32345) …
Added SSet.RelativeMorphism.HomotopyClass.eq_homotopyClassView on Github →