Commit 2022-11-30 18:00 80eed250
View on Github →feat: port Data.Nat.Basic (#729) This is based on a future version of mathlib3, once https://github.com/leanprover-community/mathlib/pull/17763 and https://github.com/leanprover-community/mathlib/pull/17759 have landed.