Metamath Proof Explorer 
< Previous
Next >
Nearby theorems 

Mirrors > Home > MPE Home > Th. List > cpw  Unicode version 
Description: Extend class notation to include power class. (The tilde in the Metamath token is meant to suggest the calligraphic font of the P.) 
Ref  Expression 

cA 
Ref  Expression 

cpw 
Colors of variables: wff set class 
Copyright terms: Public domain  W3C validator 