Def SSet.horn.face

Modification history

2024-01-15 16:06

Mathlib/AlgebraicTopology/SimplicialSet.lean

feat(AlgebraicTopology): generalize universes for the standard simplex (#9631) …

Modified SSet.horn.face View on Github →

2024-01-10 21:36

Mathlib/AlgebraicTopology/SimplicialSet.lean

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

Added SSet.horn.face View on Github →