Metamath Proof Explorer


Syntax definition cpws

Description: The function constructing structure powers.

Ref Expression
Assertion cpws class s