Theorem QuadraticMap.IsOrtho.zero_left

Modification history