Theorem RatFunc.eval_eq_zero_of_eval₂_denom_eq_zero

Modification history