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: May 02 2025 at 03:31 UTC