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 2025 at 21:32 UTC
Does simp understand how to simplify match h : x with ...?
Last updated: Dec 20 2025 at 21:32 UTC