Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Andrew Salmon
Geometry
ctimesr

Next ⟩ cptdfc

Metamath Proof Explorer

Ascii
Structured

Syntax definition ctimesr

Description: Introduce the operation of scalar multiplication.

		Ref	Expression
	Assertion	ctimesr	class ._𝑣