Theorem expNegInvGlue.continuous_polynomial_eval_inv_mul

Modification history