Theorem QuadraticMap.polar_comp

Modification history