Theorem Equiv.swapCore_self

Modification history