Theorem QuadraticMap.polar_add_right

Modification history