Bibliographic
Cross-References This table collects in one
place the bibliographic references made in the Metamath Proof Explorer's
axiom, definition, and theorem Descriptions. If you are studying a
particular set theory book, this list can be handy for finding out where
any corresponding Metamath theorems might be located. Keep in mind that
we usually give only one reference for a theorem that may appear in
several books, so it can also be useful to browse the Related Theorems
around a theorem of interest.