Commit 2020-10-19 04:45 4b890a24

feat(*): make int.nonneg irreducible (#4601) In #4474, int.lt was made irreducible. We make int.nonneg irreducible, which is stronger as int.lt is expressed in terms of int.nonneg.