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.coord View 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.coord View on Github →

2021-05-10 07:36

src/linear_algebra/basis.lean

refactor(*): bundle `is_basis` (#7496) …

Added basis.coord View on Github →