Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-10 13:57 b33764d9

View on Github →

feat(algebra/module): semimodules

Estimated changes

added theorem add_smul'
added theorem mul_smul'
modified theorem mul_smul
added theorem one_smul'
added theorem smul_add'
added theorem smul_eq_mul'
added theorem smul_smul'
added theorem smul_zero'
added theorem zero_smul'