Theorem QuadraticForm.coeFn_smul

Modification history