Theorem QuadraticMap.Ring.polar_pi

Modification history