feat(Data/ENat/Basic): add ENat.toNat_pos#39671

tb65536 wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_tonatpostb65536/mathlib4:tb_tonatposCopy head branch name to clipboard