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: Dec 20 2023 at 11:08 UTC
@Scott Morrison, could tidy know about doing cases on nonempty? Or maybe it belongs inside solve_by_elim?
Last updated: Dec 20 2023 at 11:08 UTC