On this page:
make-ord
o<
o<=
o>
o>=
o-finp
o-infp
o-p
o-first-coeff
o-first-expt
o-rst
1.4.7 Ordinal Arithmetic
(make-ord xs)

(o< x y)
(o<= x y)
(o> x y)
(o>= x y)

(o-finp x)
(o-infp x)
(o-p x)

(o-rst x)