Theorem vadd_vsub_assoc

Modification history