Theorem vadd_vsub

Modification history