Theorem basis.equiv_fun_symm_std_basis
Modification history
2022-10-03 21:49
src/linear_algebra/finsupp_vector_space.lean
feat(linear_algebra/matrix): Add matrix properties for sesquilinear forms (#15906) …
Modified basis.equiv_fun_symm_std_basisView on Github →