Well-founded-relation
Show that a relation is well-founded on a set
See well-founded-relation-rule for discussion of
well-founded relations in ACL2. A related utility,
get-well-founded-relation, may be found in the community-books, file
std/system/get-well-founded-relation.lisp.
Subtopics
- N<
- The well-founded less-than relation on natural numbers.
