Theorem Equiv.addRight_zero

Modification history