Theorem Equiv.Perm.addLeft_zero

Modification history