o-finp which returns t for any ordinal that
is finite, else nil. This function is equivalent to the function
atom, and is introduced so that we can disable its definition
when dealing with ordinals (also see make-ord).
Major Section: PROGRAMMING
We introduce the function o-finp which returns t for any ordinal that
is finite, else nil. This function is equivalent to the function
atom, and is introduced so that we can disable its definition
when dealing with ordinals (also see make-ord).