Theorem QuadraticMap.polar_smul

Modification history