Def CategoryTheory.Limits.MultispanIndex.multispanMapIso

Modification history

2025-04-15 16:43

Mathlib/CategoryTheory/Limits/Preserves/Shapes/Multiequalizer.lean

feat(CategoryTheory/Limits): preservation of multicoequalizers (#22205)

Added CategoryTheory.Limits.MultispanIndex.multispanMapIso View on Github →