Theorem LinearMap.toMatrix_comp

Modification history