[Merged by Bors] - refactor(Algebra/Order/Module): don't use elim as a field name#29340

YaelDillies wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

YaelDillies:pos_smul_no_elimYaelDillies/mathlib4:pos_smul_no_elimCopy head branch name to clipboard