Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Zhi Wang
ZF Set Theory - start with the Axiom of Extensionality
Indexed union and intersection
Next ⟩
iuneq0
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 21.53.3.6. Indexed union and intersection
iuneq0
iineq0
iunlub
iinglb
iuneqconst2
iineqconst2