Theorem Equiv.addLeft_zero

Modification history