Theorem SSet.modelCategoryQuillen.boundary_ι_mem_I

Modification history

2025-03-20 22:37
Mathlib/AlgebraicTopology/SimplicialSet/CategoryWithFibrations.lean
feat(AlgebraicTopology): endow `SSet` with notions of cofibrations and fibrations (#21118) …
Added SSet.modelCategoryQuillen.boundary_ι_mem_IView on Github →