feat: improve processLevel at Sym/Pattern.lean#13896

leodemoura merged 1 commit into

masterleanprover/lean4:masterfrom

sym_apply_issueleanprover/lean4:sym_apply_issueCopy head branch name to clipboard