Metamath Proof Explorer


Syntax definition cgzp

Description: The Axiom of Power Sets.

Ref Expression
Assertion cgzp
class AxPow