Theorem Equiv.addLeft_add

Modification history