Theorem QuadraticForm.baseChange_tmul

Modification history