2026-05-24 17:27
Mathlib/CategoryTheory/MorphismProperty/OverAdjunction.lean
feat(Algebra/Category/Ring): `Under.pushout` preserves finite limits for properties with stable equalizers (#39572) …
Added CategoryTheory.MorphismProperty.Under.pushoutCompForgetIso