Theorem CategoryTheory.Limits.Multifork.IsLimit.sectionsEquiv_symm_apply_val

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