Theorem RatFunc.liftOn_div

Modification history