Def CategoryTheory.SimplicialObject.Truncated.rightExtensionInclusion

Modification history

2024-11-27 18:16
Mathlib/AlgebraicTopology/SimplicialObject/Coskeletal.lean
feat(CategoryTheory): coskeletal simplicial objects (#19492) …
Added CategoryTheory.SimplicialObject.Truncated.rightExtensionInclusionView on Github →