Structure CategoryTheory.Limits.MultispanIndex.SymmStruct

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.MultispanIndex.SymmStruct View on Github →