feat(Combinatorics/SimpleGraph/Decomp): dropUntil API to match existing takeUntil API#41668

SnirBroshi wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:feature/simple-graph/walk/takeuntil-dropuntil-fancySnirBroshi/mathlib4:feature/simple-graph/walk/takeuntil-dropuntil-fancyCopy head branch name to clipboard