Theorem CategoryTheory.Limits.preservesLimit_iff_of_iso_diagram

Modification history

2026-05-24 17:27
Mathlib/CategoryTheory/Limits/Preserves/Basic.lean
feat(Algebra/Category/Ring): `Under.pushout` preserves finite limits for properties with stable equalizers (#39572) …
Added CategoryTheory.Limits.preservesLimit_iff_of_iso_diagramView on Github →