Theorem LinearMap.ofIsCompl_smul

Modification history