Def CategoryTheory.Limits.Multifork.toSections

Modification history

2025-11-17 00:03

Mathlib/CategoryTheory/Limits/Types/Multiequalizer.lean

chore(CategoryTheory/Limits/Types): split Shapes.lean (#31258) …

Added CategoryTheory.Limits.Multifork.toSections View on Github →