Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
General auxiliary theorems (2)
Indexed union and intersection - extension
Next ⟩
otiunsndisjX
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 21.47.6.5. Indexed union and intersection - extension
otiunsndisjX