Theorem LinearMap.ortho_smul_right

Modification history