mathlib3

b3d09448 - feat(tactic/swap_var): name juggling, a weaker wlog (#12006)

feat(tactic/swap_var): name juggling, a weaker wlog (#12006) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com> Co-authored-by: Yakov Pechersky <ypechersky@treeline.bio>