Theorem LinearMap.isOrtho_def

Modification history