Theorem LinearMap.isOrtho_flip

Modification history