O-FINP

recognizes if an ordinal is finite
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).