Theorem image_smul_set

Modification history

2024-04-13 12:00
Mathlib/Algebra/Module/LinearMap/Pointwise.lean
Feat (GroupTheory/GroupAction/Hom/Pointwise) : generalize smul set lemmas to group actions (#12023) …
Modified image_smul_setView on Github →
2024-02-05 18:00
Mathlib/Algebra/Module/LinearMap/Pointwise.lean
refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …
Modified image_smul_setView on Github →
2024-02-02 13:15
Mathlib/Algebra/Module/LinearMap/Basic.lean
chore(Algebra/Module/LinearMap): split into 3 files (#10183)
Modified image_smul_setView on Github →
2023-01-20 15:59
Mathlib/Algebra/Module/LinearMap.lean
feat: port Algebra.Module.LinearMap (#1587) …
Added image_smul_setView on Github →