regex
☀️
A-
A+
Filtering...
Clear Filter
lexicographic-ordering-without-arithmetic
books/ordinals/lexicographic-ordering-without-arithmetic
Included Books
lexicographic-book
other
(
in-package
"ACL2"
)
include-book
(
include-book
"lexicographic-book"
)