Theorem SSet.modelCategoryQuillen.horn_ι_mem_J

Modification history

2025-07-08 11:58

Mathlib/AlgebraicTopology/SimplicialSet/CategoryWithFibrations.lean

chore: whitespace fixes in lemmas (#26892) …

Modified SSet.modelCategoryQuillen.horn_ι_mem_J View on Github →

2025-03-20 22:37

Mathlib/AlgebraicTopology/SimplicialSet/CategoryWithFibrations.lean

feat(AlgebraicTopology): endow `SSet` with notions of cofibrations and fibrations (#21118) …

Added SSet.modelCategoryQuillen.horn_ι_mem_J View on Github →