On this page:
make-ord
o<
o<=
o>
o>=
o-finp
o-infp
o-p
o-first-coeff
o-first-expt
o-rst
Version: 4.1.1
2.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-first-coeff x)

(o-first-expt x)

(o-rst x)