refactor: extract functionality from Match.MatchEqs#11236

nomeata merged 1 commit intomasterleanprover/lean4:masterfrom

joachim/splitter-refactorleanprover/lean4:joachim/splitter-refactorCopy head branch name to clipboard