[Merged by Bors] - chore: remove self-cancelling pairs#34021

adomani wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

adomani:remove_self_cancelling_pairsadomani/mathlib4:remove_self_cancelling_pairsCopy head branch name to clipboard