Theorem QuadraticForm.polarBilin_injective

Modification history