Theorem Equiv.Perm.addRight_zero

Modification history