chore(data/list/basic): Add pmap_map (#5081)
chore(data/list/basic): Add pmap_map (#5081)

Co-authored-by: zhangir-azerbayev <77e5a32831dc77488ec043d44c2ff894e54489b2@gmail.com>






leanprover-community/mathlib,leanprover-community/mathlib