Metamath Proof Explorer


Syntax definition cstrset

Description: Syntax for component-setting in extensible structures.

Ref Expression
Assertion cstrset class B A S