Theorem SSet.leftUnitor_hom_app_apply

Modification history

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