Commit 2026-02-17 19:29 97825be0
View on Github →chore(RingTheory/RingHom/Locally): rename locally_StableUnderComposition… to locally_stableUnderComposition… (#35147)
As suggested by @alreadydone in https://github.com/leanprover-community/mathlib4/pull/33675#discussion_r2782092590.