Commit 2023-09-12 05:47 d0e56691

View on Github →

chore: bump Std to #253 (#7113) Bump PR for https://github.com/leanprover/std4/pull/253

Estimated changes

deleted def List.partitionM