chore(library/init/data): constructive nat#171

Jack-Pumpkinhead wants to merge 1 commit into

leanprover-community:masterleanprover-community/lean:masterfrom

Jack-Pumpkinhead:constructive-natJack-Pumpkinhead/lean:constructive-natCopy head branch name to clipboard