Zulip Chat Archive
Stream: general
Topic: rcases with hypothesis
Reid Barton (Nov 28 2018 at 01:00):
Looks like rcases doesn't support the cases h : e syntax... would this be difficult to support?
Reid Barton (Nov 28 2018 at 01:02):
oh wait--again I actually don't need this
Reid Barton (Nov 28 2018 at 01:02):
Apparently I've forgotten how to write real proofs
Last updated: Dec 20 2023 at 11:08 UTC