perf: fix two non linearities in the language server#11915

hargoniX merged 1 commit intomasterleanprover/lean4:masterfrom

hbv/fix_nonlinearityleanprover/lean4:hbv/fix_nonlinearityCopy head branch name to clipboard