Theorem RatFunc.mk_eq_div'

Modification history