Theorem Equiv.Perm.closure_isSwap

Modification history