regex
☀️
A-
A+
Filtering...
Clear Filter
set-theory
books/data-structures/set-theory
Included Books
set-defuns
set-defthms
other
(
in-package
"ACL2"
)
include-book
(
include-book
"set-defuns"
)
include-book
(
include-book
"set-defthms"
)