Theorem CategoryTheory.Limits.Multicofork.IsColimit.fac

Modification history

2025-06-15 14:52
Mathlib/CategoryTheory/Limits/Shapes/Multiequalizer.lean
chore(CategoryTheory/Limits/Shape/End): define coends (#25763) …
Added CategoryTheory.Limits.Multicofork.IsColimit.facView on Github →