[Merged by Bors] - feat(Data/NNReal): nnabs n = n for n : ℕ#39577

YaelDillies wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

YaelDillies:nnabs_nat_castYaelDillies/mathlib4:nnabs_nat_castCopy head branch name to clipboard