Metamath Proof Explorer
Table of Contents - 2.1.13.3. The intersection of two classes
- elini
- elind
- elinel1
- elinel2
- elin2
- elin1d
- elin2d
- elin3
- incom
- incomOLD
- ineqcom
- ineqcomi
- ineqri
- ineq1
- ineq2
- ineq12
- ineq1i
- ineq2i
- ineq12i
- ineq1d
- ineq2d
- ineq12d
- ineqan12d
- sseqin2
- nfin
- rabbi2dva
- inidm
- inass
- in12
- in32
- in13
- in31
- inrot
- in4
- inindi
- inindir
- inss1
- inss2
- ssin
- ssini
- ssind
- ssrin
- sslin
- ssrind
- ss2in
- ssinss1
- inss
- rexin
- dfss7