Theorem QuadraticForm.linMulLinSelfPosDef

Modification history