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
π‘πππΌππ