Theorem QuadraticForm.toQuadraticForm_polarBilin

Modification history