Def CategoryTheory.Limits.Multicofork.IsColimit.desc

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.desc View on Github →