perf: match compilation to use exfalso early#10851

nomeata merged 1 commit intomasterleanprover/lean4:masterfrom

joachim/match_exfalsoleanprover/lean4:joachim/match_exfalsoCopy head branch name to clipboard