Theorem two_smul'

Modification history

2024-08-20 08:44

Mathlib/Algebra/Module/Defs.lean

chore: remove >1 year deprecations (#15958) …

Deleted two_smul'View on Github →

2024-07-15 11:16

Mathlib/Algebra/Module/Defs.lean

chore: remove bit0/bit1 and associated lemmas (#14745) …

Modified two_smul'View on Github →

2024-04-29 13:25

Mathlib/Algebra/Module/Basic.lean

chore: split Algebra.Module.Basic (#12501) …

Modified two_smul'View on Github →

2024-04-24 05:40

Mathlib/Algebra/Module/Basic.lean

chore: unify date formatting in lemma deprecations (#12334) …

Modified two_smul'View on Github →

2022-12-31 22:33

Mathlib/Algebra/Module/Basic.lean

feat: port Algebra.Module.Basic (#1169) …

Added two_smul'View on Github →