Theorem LinearMap.toMatrix_id_eq_basis_toMatrix

Modification history