Theorem CategoryTheory.SimplicialObject.isCoskeletal_iff_isIso

Modification history

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