Theorem QuadraticMap.isOrtho_polarBilin

Modification history