chore: improve clarity in a match expression#8781

zwarich merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

zwarich:reset-reuse-improve-casezwarich/lean4:reset-reuse-improve-caseCopy head branch name to clipboard