Commit 2026-05-11 06:34 bda55fe3

View on Github →

chore: untag duplicated gcongr lemmas (#38949) Follow-up to #38793

Estimated changes

Modified Mathlib/Algebra/Module/Submodule/Basic.lean

Modified Mathlib/Algebra/Module/Submodule/RestrictScalars.lean

Modified Mathlib/Algebra/Order/Ring/Ordering/Basic.lean

Modified Mathlib/Analysis/SpecialFunctions/Sigmoid.lean

Modified Mathlib/Data/Finset/Density.lean

modified theorem Finset.dens_mono

modified theorem Finset.dens_strictMono

Modified Mathlib/RingTheory/Localization/Submodule.lean