Theorem RatFunc.mk_eq_div

Modification history