Theorem QuadraticForm.separatingLeft_of_anisotropic

Modification history