Theorem linear_map.std_basis_eq_single
Modification history
2021-02-04 12:05
src/linear_algebra/basic.lean
chore(linear_algebra/std_basis): move std_basis to a new file (#6020) …
Modified linear_map.std_basis_eq_singleView on Github →2019-10-10 11:14
src/linear_algebra/basic.lean
chore(linear_algebra): rename type variables (#1521) …
Modified linear_map.std_basis_eq_singleView on Github →