Theorem Equiv.swap_eq_refl_iff

Modification history