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: Feb 28 2026 at 14:05 UTC
Does simp understand how to simplify match h : x with ...?
Last updated: Feb 28 2026 at 14:05 UTC