Theorem QuadraticMap.polar_neg

Modification history