Mathlib v3 is deprecated. Go to Mathlib v4

Def basis.coord

Modification history

2021-10-02 04:58
src/linear_algebra/basis.lean
feat(linear_algebra/affine_space/barycentric_coords): define barycentric coordinates (#9472)
Modified basis.coordView on Github →
2021-09-07 03:49
src/linear_algebra/basis.lean
feat(linear_algebra): introduce notation for `linear_map.comp` and `linear_equiv.trans` (#8857) …
Modified basis.coordView on Github →
2021-05-10 07:36
src/linear_algebra/basis.lean
refactor(*): bundle `is_basis` (#7496) …
Added basis.coordView on Github →