This is an inofficial mirror of http://metamath.tirix.org for personal testing of a visualizer extension only.

Metamath Proof Explorer

Syntax definition cbigcup

Description: Declare the set union relationship.

		Ref	Expression
	Assertion	cbigcup	$class 𝖡𝗂𝗀𝖼𝗎𝗉$