Structure CategoryTheory.Limits.MulticospanIndex.sections

Modification history

2025-11-17 00:03
Mathlib/CategoryTheory/Limits/Types/Multiequalizer.lean
chore(CategoryTheory/Limits/Types): split Shapes.lean (#31258) …
Added CategoryTheory.Limits.MulticospanIndex.sectionsView on Github →