Def CategoryTheory.Limits.WalkingMultispan.inclusionOfLinearOrder

Modification history

2025-04-15 16:43
Mathlib/CategoryTheory/Limits/Shapes/Multiequalizer.lean
feat(CategoryTheory/Limits): multicoequalizers attached to linear orders (#22203) …
Added CategoryTheory.Limits.WalkingMultispan.inclusionOfLinearOrderView on Github →