Theorem QuadraticMap.coeFn_sum

Modification history