Commit 2023-11-18 13:18 d78d69da
View on Github →chore: check exact? is fixed by leanprover/std4#368 (#8458)
Adds a test for an exact? failure reported on zulip
chore: check exact? is fixed by leanprover/std4#368 (#8458)
Adds a test for an exact? failure reported on zulip