Theorem QuadraticForm.anisotropic_of_pi

Modification history