Theorem RatFunc.mk_eq_mk'

Modification history