Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Hall's marriage theorem

Next ⟩ marypha1lem

Metamath Proof Explorer

Ascii
Unicode

Table of Contents - 2.4.31. Hall's marriage theorem

marypha1lem
marypha1
marypha2lem1
marypha2lem2
marypha2lem3
marypha2lem4
marypha2