Mathlib v3 is deprecated. Go to Mathlib v4

Theorem alg_hom.map_smul_of_tower

Modification history

2022-12-09 09:32
src/algebra/algebra/basic.lean
refactor(algebra/algebra): split alg_hom and alg_equiv to separate files (#17868) …
Modified alg_hom.map_smul_of_towerView on Github →
2022-06-30 19:45
src/algebra/algebra/basic.lean
refactor(algebra/group/defs): rename has_scalar to has_smul (#14559) …
Modified alg_hom.map_smul_of_towerView on Github →
2022-03-16 19:40
src/algebra/algebra/basic.lean
feat(algebra/algebra/basic,data/matrix/basic): resolve a TODO about `alg_hom.map_smul_of_tower` (#12684) …
Added alg_hom.map_smul_of_towerView on Github →