Theorem QuadraticMap.polar_sub_left

Modification history