regex
☀️
A-
A+
Filtering...
Clear Filter
top-with-meta
books/ordinals/top-with-meta
Included Books
top-with-meta
other
(
in-package
"ACL2"
)
include-book
(
include-book
"arithmetic/top-with-meta"
:dir
:system
)