Theorem QuadraticForm.polarBilin_tmul

Modification history