Theorem Equiv.Perm.mclosure_isSwap

Modification history