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