Theorem QuadraticMap.polar_neg_left

Modification history