Theorem Equiv.swap_comm

Modification history