Filtering...

lexicographic-ordering

books/ordinals/lexicographic-ordering

Included Books

other
(in-package "ACL2")
include-book
(include-book "top-with-meta")
include-book
(include-book "lexicographic-book")