Def SSet.unitHomEquiv

Modification history

2024-03-29 21:36
Mathlib/AlgebraicTopology/SimplicialSet/Monoidal.lean
feat(AlgebraicTopology): the monoidal category structure on simplicial sets (#11396) …
Added SSet.unitHomEquivView on Github →