Theorem AffineBasis.exists_affineBasis

Modification history

2023-06-12 01:02
Mathlib/LinearAlgebra/AffineSpace/Basis.lean
chore: formatting issues (#4947)
Modified AffineBasis.exists_affineBasisView on Github →
2023-04-22 09:23
Mathlib/LinearAlgebra/AffineSpace/Basis.lean
feat: port LinearAlgebra.AffineSpace.Basis (#3578)
Added AffineBasis.exists_affineBasisView on Github →