cplusr - Mathbox for Andrew Salmon

	Mathbox for Andrew Salmon		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cplusr		Structured version Visualization version Unicode version

Syntax Definition cplusr 38661

Description: Introduce the operation of vector addition.

**Assertion**
Ref	Expression
cplusr

See definition df-addr 38667 for more information.

Colors of variables: wff setvar class