Database
BASIC STRUCTURES
Extensible structures
Slot definitions
csca
Next ⟩
cvsca
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csca
Description:
Extend class notation with scalar field.
Ref
Expression
Assertion
csca
class
Scalar