Metamath Proof Explorer


Syntax definition cstrset

Description: Syntax for component-setting in extensible structures.

Ref Expression
Assertion cstrset
class [s B / A ]s S