[Merged by Bors] - style: fix spacing around left arrows#41937

felixpernegger wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

felixpernegger:leftarrowspacefelixpernegger/mathlib4:leftarrowspaceCopy head branch name to clipboard