Theorem Booleanisation.lift_lt_lift

Modification history