Commit 2023-06-14 13:55 1e72d199
View on Github →chore: forward-port leanprover-community/mathlib#19179 (#5022) Strangely, making one proof use fewer simp lemmas has made the proof slower (and the hearbeats have been bumped accordingly)
chore: forward-port leanprover-community/mathlib#19179 (#5022) Strangely, making one proof use fewer simp lemmas has made the proof slower (and the hearbeats have been bumped accordingly)