natural-arithmetic-0.2.3.0: Arithmetic of natural numbers

Index - C

commutativeArithmetic.Plus
commutative#Arithmetic.Plus
constant 
1 (Function)Arithmetic.Nat
2 (Function)Arithmetic.Lte
3 (Function)Arithmetic.Lt
constant# 
1 (Function)Arithmetic.Nat
2 (Function)Arithmetic.Lt
3 (Function)Arithmetic.Fin
construct#Arithmetic.Fin