Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Quantifier-free definitions
cbigcup
Next ⟩
cfix
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cbigcup
Description:
Declare the set union relationship.
Ref
Expression
Assertion
cbigcup
class
𝖡𝗂𝗀𝖼𝗎𝗉