natural-arithmetic-0.2.3.0: Arithmetic of natural numbers (Index - T)

natural-arithmetic-0.2.3.0: Arithmetic of natural numbers

A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
W
Z
:
<
=
All

Index - T

testEqual	Arithmetic.Nat
testEqual#	Arithmetic.Nat
testLessThan	Arithmetic.Nat
testLessThan#	Arithmetic.Nat
testLessThanEqual	Arithmetic.Nat
testLessThanEqual#	Arithmetic.Nat
testZero	Arithmetic.Nat
testZero#	Arithmetic.Nat
three	Arithmetic.Nat
times	Arithmetic.Nat
toLteL	Arithmetic.Lt
toLteR	Arithmetic.Lt
transitive
1 (Function)	Arithmetic.Lte
2 (Function)	Arithmetic.Lt
transitive#
1 (Function)	Arithmetic.Lte
2 (Function)	Arithmetic.Lt
transitiveNonstrictL	Arithmetic.Lt
transitiveNonstrictL#	Arithmetic.Lt
transitiveNonstrictR	Arithmetic.Lt
transitiveNonstrictR#	Arithmetic.Lt
two	Arithmetic.Nat