fix: add `Nat.cast` normalizer missing case#11580

leodemoura merged 1 commit intomasterleanprover/lean4:masterfrom

grind_nat_cast_normleanprover/lean4:grind_nat_cast_normCopy head branch name to clipboard