Theorem LinearMap.toMatrix_smulBasis_left

Modification history