Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Quantifier-free definitions
cbigcup

Next ⟩ cfix

Metamath Proof Explorer

Ascii
Structured

Syntax definition cbigcup

Description: Declare the set union relationship.

		Ref	Expression
	Assertion	cbigcup	class Bigcup