Theorem QuadraticForm.nondegenerate_of_anisotropic

Modification history