Theorem CategoryTheory.Limits.end_.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.end_.map_π View on Github →