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: May 02 2025 at 03:31 UTC
Does simp understand how to simplify match h : x with ...?
Last updated: May 02 2025 at 03:31 UTC