Def SSet.hoFunctor.obj.equiv

Modification history

2025-11-23 17:11
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
feat(Algebraic Topology): the strict bicategory of quasicategories (#31101) …
Added SSet.hoFunctor.obj.equivView on Github →