Theorem RatFunc.mk_def_of_mem

Modification history