Theorem Equiv.constVAdd_zero

Modification history