Commit 2024-05-26 06:15 f3612d5f

View on Github →

chore(Algebra): add missing deprecation dates (#12598)

Estimated changes

Modified Mathlib/Algebra/GCDMonoid/Basic.lean

Modified Mathlib/Algebra/Group/Basic.lean

Modified Mathlib/Algebra/Group/Hom/Defs.lean

Modified Mathlib/Algebra/Group/Pi/Basic.lean

Modified Mathlib/Algebra/GroupWithZero/Hom.lean

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

modified theorem Submodule.set_smul_mono_right

Modified Mathlib/Algebra/Order/Field/Basic.lean