feat: add Lidskii's inequality eval problem#291

kim-em wants to merge 1 commit into

mainleanprover/lean-eval:mainfrom

eval/lidskii-inequalityleanprover/lean-eval:eval/lidskii-inequalityCopy head branch name to clipboard