Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Models of ZF
cgzu

Next ⟩ cgzg

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cgzu

Description: The Axiom of Unions.

		Ref	Expression
	Assertion	cgzu	$class AxUn$