Database
BASIC STRUCTURES
Extensible structures
Basic definitions
Substitution of components
csts
Next ⟩
df-sets
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csts
Description:
Set components of a structure.
Ref
Expression
Assertion
csts
class sSet