Zulip Chat Archive
Stream: general
Topic: tidy & nonempty
Reid Barton (Sep 07 2018 at 11:11):
@Scott Morrison, could tidy know about doing cases on nonempty? Or maybe it belongs inside solve_by_elim?
Last updated: May 02 2025 at 03:31 UTC
@Scott Morrison, could tidy know about doing cases on nonempty? Or maybe it belongs inside solve_by_elim?
Last updated: May 02 2025 at 03:31 UTC