Theorem QuadraticForm.two_nsmul_associated

Modification history