Theorem QuadraticForm.exists_quadraticForm_ne_zero

Modification history