Theorem SSet.horn.hom_ext

Modification history

2024-01-10 21:36

Mathlib/AlgebraicTopology/SimplicialSet.lean

feat(AlgebraicTopology/Quasicategory): alternative statement of hornfilling condition (#9360)

Added SSet.horn.hom_ext View on Github →