2026-02-17 19:29
Mathlib/RingTheory/RingHom/Locally.lean
chore(RingTheory/RingHom/Locally): rename `locally_StableUnderComposition…` to `locally_stableUnderComposition…` (#35147) …
Added RingHom.locally_stableUnderCompositionWithLocalizationAwayTarget