Theorem Push.lift_comp

Modification history