Theorem expNegInvGlue.contDiff_polynomial_eval_inv_mul

Modification history