Def SSet.hornInclusion

Modification history

2023-06-19 13:10

Mathlib/AlgebraicTopology/SimplicialSet.lean

chore: add @[ext] lemmas for NatTrans synonyms (#5228)

Modified SSet.hornInclusion View on Github →

2023-04-28 02:53

Mathlib/AlgebraicTopology/SimplicialSet.lean

feat: port AlgebraicTopology.SimplicialSet (#3689)

Added SSet.hornInclusion View on Github →