Theorem affine_basis.exists_affine_basis_of_finite_dimensional
Modification history
2023-01-12 09:11
src/linear_algebra/affine_space/basis.lean
refactor(linear_algebra/affine_space/*): make `affine_basis` more elementary (#18141) …
Modified affine_basis.exists_affine_basis_of_finite_dimensionalView on Github →