Theorem zero_smul_set
Modification history
2022-05-21 11:38
src/data/set/pointwise.lean
chore(data/set/pointwise): Move into the `set` namespace (#14281) …
Deleted zero_smul_setView on Github →2022-01-24 21:01
src/algebra/pointwise.lean
feat(algebra/pointwise): Scalar multiplication lemmas (#11486) …
Modified zero_smul_setView on Github →2021-09-20 11:48
src/algebra/pointwise.lean
feat(algebra/pointwise): more lemmas about pointwise actions (#9226) …
Modified zero_smul_setView on Github →2021-04-24 15:20
src/algebra/pointwise.lean
refactor(*): rename `semimodule` to `module`, delete typeclasses `module` and `vector_space` (#7322) …
Modified zero_smul_setView on Github →