Theorem vsub_sub_vsub_cancel_left

Modification history