Theorem QuadraticMap.map_neg

Modification history