Theorem vsub_vadd

Modification history