feat(data/list/defs): map_with_prefix_suffix and map_with_complement (#10020)
feat(data/list/defs): map_with_prefix_suffix and map_with_complement (#10020)

Adds two list definitions: one that will be useful to me, and a generalization which may be useful to @semorrison 



Co-authored-by: Rob Lewis <597e2d195b18d1f0b2b6530cee088a0ab0ed3ce2@gmail.com>

leanprover-community/mathlib,leanprover-community/mathlib