Theorem Equiv.swap_apply_ne_self_iff

Modification history