Def List.partitionM

Modification history

2023-09-12 05:47
Mathlib/Control/Basic.lean
chore: bump Std to #253 (#7113) …
Deleted List.partitionMView on Github →
2022-11-25 20:23
Mathlib/Control/Basic.lean
feat: port Control.Basic (#588) …
Added List.partitionMView on Github →