Metamath Proof Explorer


Syntax definition cwina

Description: The class of weak inaccessibles.

Ref Expression
Assertion cwina class Inaccw