Theorem QuadraticMap.polarBilin_comp

Modification history