feat: add grind attribute to Nat.cast_id and Int.cast_id#11572

kim-em wants to merge 1 commit intomasterleanprover/lean4:masterfrom

grind_cast_idleanprover/lean4:grind_cast_idCopy head branch name to clipboard