Metamath Proof Explorer

Syntax definition cpws

Description: The function constructing structure powers.

Ref Expression
Assertion cpws 
class ^s