Theorem Booleanisation.lift_le_lift

Modification history