Theorem QuadraticForm.baseChange_ext

Modification history