Theorem QuadraticMap.polarBilin_injective

Modification history