Theorem Equiv.swap_self

Modification history