Theorem CategoryTheory.Limits.Multifork.toSections_fac

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_facView on Github →