Database
BASIC STRUCTURES
Extensible structures
Basic definitions
Extensible structures as structures with components
cstr
Next ⟩
df-struct
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cstr
Description:
Extend class notation with the class of structures with components numbered below
A
.
Ref
Expression
Assertion
cstr
class
Struct