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.