equiv.swap_apply_of_ne_of_ne source