Metamath Proof Explorer


Syntax definition cgzu

Description: The Axiom of Unions.

Ref Expression
Assertion cgzu class AxUn