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