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

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 - R

reciprocalA	Arithmetic.Lt
reciprocalB	Arithmetic.Lt
reflexive	Arithmetic.Lte
reflexive#	Arithmetic.Lte
remInt#	Arithmetic.Fin
remWord#	Arithmetic.Fin