Theorem QuadraticMap.polar_zero_left

Modification history