Theorem QuadraticMap.ne_zero_of_not_isOrtho_self

Modification history