Skip to content

Merge branch 'leanprover:master' into feat-add-array-partitionM-and-o…

8cab028
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: add Array.partitionM, Array.partitionMapM, Array.partitionMap, List.partitionMapM #10215

Merge branch 'leanprover:master' into feat-add-array-partitionM-and-o…
8cab028
Select commit
Loading
Failed to load commit list.