Theorem QuadraticMap.isOrtho_comm

Modification history