Metamath Proof Explorer

Table of Contents - 21.20.5.25. Setting components of extensible structures

Groundwork for changing the definition, syntax and token for component-setting in extensible structures. See https://github.com/metamath/set.mm/issues/2401

1. cstrset
2. df-strset
3. setsstrset