Theorem SSet.comp_app

Modification history

2024-12-12 11:32
Mathlib/AlgebraicTopology/SimplicialSet/Basic.lean
feat(AlgebraicTopology): define the simplicial nerve of a simplicial category (#19837) …
Added SSet.comp_appView on Github →