Theorem LinearMap.toMatrix₂_mul_basis_toMatrix

Modification history