Theorem SSet.Truncated.id_app

Modification history

2025-11-04 11:56
Mathlib/AlgebraicTopology/SimplicialSet/Basic.lean
feat(AlgebraicTopology): basic missing lemmas about the simplex category (#31248)
Added SSet.Truncated.id_appView on Github →