Theorem QuadraticMap.coeFn_sub

Modification history