Zulip Chat Archive
Stream: general
Topic: simp lemma application order
Kenny Lau (Oct 11 2018 at 00:22):
What determines the order in which the simp lemmas are applied?
Mario Carneiro (Oct 11 2018 at 01:49):
random luck, I think
Last updated: Dec 20 2023 at 11:08 UTC