Def CategoryTheory.SimplicialCategory.homEquiv'

Modification history

2024-06-05 09:14
Mathlib/AlgebraicTopology/SimplicialCategory/Basic.lean
feat(AlgebraicTopology): simplicial categories (#11398) …
Added CategoryTheory.SimplicialCategory.homEquiv'View on Github →