chore: fixes for new simp default (decide := false) (lean4#2722)#312
Merged
digama0 merged 2 commits intoleanprover-community:bump/v4.4.0from collares:lean-pr-testing-2722Nov 4, 2023
+24-28
decide := false) (lean4#2722)#312
