Commit 2023-03-08 13:41 54b6e6b5
View on Github →feat: add norm_num extension for the modulo operation for ℕ (#2241)
This PR adds a norm_num extension for computing the modulo operation (i.e. %) over ℕ. This is a straightforward modification of the corresponding extension for nat subtraction.