feat: `@[suggest_for ℤ]` and `@[suggest_for ℚ]` annotations#11596

kim-em merged 1 commit intomasterleanprover/lean4:masterfrom

feat-suggest-for-int-ratleanprover/lean4:feat-suggest-for-int-ratCopy head branch name to clipboard