Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix_equiv_tensor_apply_std_basis

Modification history

2020-07-10 05:40
src/ring_theory/matrix_algebra.lean
feat(data/matrix): add matrix.map and supporting lemmas (#3352) …
Added matrix_equiv_tensor_apply_std_basisView on Github →