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