Theorem QuadraticForm.coeFn_add

Modification history