Theorem vsub_right_cancel

Modification history