Theorem vsub_right_cancel_iff

Modification history