Zulip Chat Archive
Stream: mathlib4
Topic: simplifying "dependent" match
Reid Barton (Jan 29 2023 at 07:11):
Does simp understand how to simplify match h : x with ...?
Last updated: Dec 20 2023 at 11:08 UTC
Does simp understand how to simplify match h : x with ...?
Last updated: Dec 20 2023 at 11:08 UTC