Metamath Proof Explorer

Syntax definition ctos

Description: Extend class notation with the class of all tosets.

Ref Expression
Assertion ctos 
class Toset