Theorem CategoryTheory.Limits.coend.ι_map

Modification history

2025-07-14 10:55

Mathlib/CategoryTheory/Limits/Shapes/End.lean

feat(CategoryTheory/Limits/Shapes/End): functoriality of (co)ends (#27079) …

Added CategoryTheory.Limits.coend.ι_map View on Github →