Theorem Equiv.apply_swap_eq_self

Modification history