Theorem LinearMap.ortho_smul_left

Modification history