Theorem QuadraticMap.polar_smul_right

Modification history