Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.vadd_apply

Modification history

2021-09-08 14:01
src/algebra/add_torsor.lean
feat(measure_theory/group/arithmetic): add more to_additive attributes for actions (#9032) …
Deleted pi.vadd_applyView on Github →
2020-06-14 19:26
src/algebra/add_torsor.lean
feat(linear_algebra/affine_space): affine combinations of points (#2979) …
Added pi.vadd_applyView on Github →