Def CategoryTheory.Limits.MulticospanIndex.sectionsEquiv

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.sectionsEquivView on Github →