Def RingHom.HasStableEqualizers

Modification history

2026-05-24 17:27
Mathlib/RingTheory/Flat/Equalizer.lean
feat(Algebra/Category/Ring): `Under.pushout` preserves finite limits for properties with stable equalizers (#39572) …
Added RingHom.HasStableEqualizersView on Github →