Mathlib Changelog
v4
Changelog
About
Github
Theorem
SSet.KanComplex.hornFilling
Modification history
2025-03-20 22:37
Mathlib/AlgebraicTopology/SimplicialSet/KanComplex.lean
feat(AlgebraicTopology): endow `SSet` with notions of cofibrations and fibrations (#21118) …
Added
SSet.KanComplex.hornFilling
View on Github →