Theorem AffineSubspace.pointwise_vadd_bot

Modification history

2024-07-12 20:12
Mathlib/LinearAlgebra/AffineSpace/Pointwise.lean
feat: Translation of affine bases (#14682) …
Modified AffineSubspace.pointwise_vadd_botView on Github →
2023-03-30 08:13
Mathlib/LinearAlgebra/AffineSpace/Pointwise.lean
feat: port LinearAlgebra.AffineSpace.Pointwise (#3132)
Added AffineSubspace.pointwise_vadd_botView on Github →