Theorem QuadraticMap.exists_quadraticForm_ne_zero

Modification history