Metamath Proof Explorer


Syntax definition ctsk

Description: Extend class definition to include the class of all Tarski classes.

Ref Expression
Assertion ctsk
class Tarski