Theorem Equiv.addRight_add

Modification history