Theorem QuadraticForm.linMulLin_apply

Modification history