Theorem vsub_self

Modification history