Database
BASIC STRUCTURES
Extensible structures
Slot definitions
cvsca

Next ⟩ cip

Metamath Proof Explorer

Unicode
Structured

Syntax definition cvsca

Description: Extend class notation with scalar product.

		Ref	Expression
	Assertion	cvsca	class .s