mathlib3

dfc42f96 - feat(data/equiv/basic): swap_apply_ne_self_iff (#8167)