Theorem QuadraticMap.separatingLeft_of_anisotropic

Modification history