Def CategoryTheory.Limits.MulticospanIndex.multicospanMapIso

Modification history

2026-06-02 18:08

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

chore(CategoryTheory): dualise preservation of multicoequalizers (#40132)

Added CategoryTheory.Limits.MulticospanIndex.multicospanMapIso View on Github →