Theorem linear_map.supr_range_std_basis
Modification history
2022-09-04 04:40
src/linear_algebra/std_basis.lean
chore(linear_algebra/*): Lint (#16362) …
Modified linear_map.supr_range_std_basisView on Github →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.supr_range_std_basisView on Github →