Theorem RatFunc.liftOn_condition_of_liftOn'_condition

Modification history