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