Theorem QuadraticMap.IsOrtho.zero_right

Modification history