Def CategoryTheory.Limits.Multifork.isLimitMapEquiv

Modification history

2026-06-02 18:08

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

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

Added CategoryTheory.Limits.Multifork.isLimitMapEquiv View on Github →