Theorem QuadraticMap.polar_comm

Modification history