Theorem RatFunc.lift_on_condition_of_lift_on'_condition

Modification history