Theorem QuadraticMap.exists_quadraticMap_ne_zero

Modification history