Theorem QuadraticForm.associated_tmul

Modification history