Commit 2024-02-02 03:17 86ecbac9
View on Github →chore: bump Std (#10177)
There's an exciting linter failure on bump/v4.6.0, and I'm wondering if this is caused by strange simp lemmas in leanprover/std4#558, so I'm updating to that before the bump.