fix: improve error message for initialize with missing Nonempty instance#11919

kim-em merged 2 commits intomasterleanprover/lean4:masterfrom

improve-initialize-nonempty-errorleanprover/lean4:improve-initialize-nonempty-errorCopy head branch name to clipboard