Def CategoryTheory.Limits.Types.MulticospanIndex.sectionsEquiv

Modification history

2025-11-17 00:03
Mathlib/CategoryTheory/Limits/Types/Shapes.lean
chore(CategoryTheory/Limits/Types): split Shapes.lean (#31258) …
Deleted CategoryTheory.Limits.Types.MulticospanIndex.sectionsEquivView on Github →
2024-07-07 14:27
Mathlib/CategoryTheory/Limits/Shapes/Types.lean
feat: API for multiequalizers in the category of types (#14340) …
Added CategoryTheory.Limits.Types.MulticospanIndex.sectionsEquivView on Github →