Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-07 14:04 645bf604

View on Github →

core(algebra/module): generalize map_smul_left; add is_submodule.range

Estimated changes

modified theorem is_linear_map.map_smul_left