Theorem QuadraticMap.coeFn_neg

Modification history