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

Next ⟩ ctimesr

Metamath Proof Explorer

Ascii
Structured

Syntax definition cminusr

Description: Introduce the operation of vector subtraction.

		Ref	Expression
	Assertion	cminusr	class -_𝑟