Zulip Chat Archive
Stream: general
Topic: semireducible simps
Bhavik Mehta (Feb 27 2021 at 20:50):
Did something change with the way simps works? I used to need to write @[simps {rhs_md := semireducible}] and @[simps] would give an error, but in those cases now @[simps] works on its own
Bhavik Mehta (Feb 27 2021 at 20:52):
Answered my own question - this was in #5541
Last updated: May 02 2025 at 03:31 UTC