Theorem QuadraticForm.isOrtho_polarBilin

Modification history