Theorem QuadraticForm.posDef_pi_iff

Modification history