Theorem AffineBasis.coe_vadd

Modification history

2026-10-28 14:22
Mathlib/LinearAlgebra/AffineSpace/Basis.lean
feat: use `IsApply` for `AffineBasis` (#45333)
Modified AffineBasis.coe_vaddView on Github →
2024-07-12 20:12
Mathlib/LinearAlgebra/AffineSpace/Basis.lean
feat: Translation of affine bases (#14682) …
Added AffineBasis.coe_vaddView on Github →