Theorem Equiv.inv_addLeft

Modification history