Metamath Proof Explorer


Syntax definition cstrset

Description: Syntax for component-setting in extensible structures.

Ref Expression
Assertion cstrset class [ 𝐵 / 𝐴 ]struct 𝑆