Theorem QuadraticForm.linMulLin_add

Modification history