Theorem QuadraticForm.anisotropic_of_prod

Modification history