Metamath Proof Explorer


Syntax definition csetc

Description: Extend class notation to include the category Set.

Ref Expression
Assertion csetc
class SetCat