Theorem LinearMap.toMatrix_smulBasis_right

Modification history