### Merge branch 'robbert/nat_cancel' into 'master'

A simple type class based canceler for natural numbers. See merge request robbertkrebbers/coq-stdpp!26

**theories/nat_cancel.v**0 → 100644

Please register or sign in to comment

A simple type class based canceler for natural numbers. See merge request robbertkrebbers/coq-stdpp!26

Please register or sign in to comment