Theorem QuadraticMap.polar_sub_right

Modification history