Theorem vadd_right_cancel_iff

Modification history