List view

chore(library/init/data): constructive nat

Status: Open (in progress).

leanprover-community/leannumber 171

#171 In leanprover-community/lean;

· Jack-Pumpkinhead opened on Apr 1, 2020