Metamath Proof Explorer


Syntax definition csts

Description: Set components of a structure.

Ref Expression
Assertion csts class sSet