clinco - Mathbox for Alexander van der Vekens

	Mathbox for Alexander van der Vekens		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > clinco		Structured version Visualization version Unicode version

Syntax Definition clinco 42194

Description: Extend class notation with the operation constructing a set of linear combinations (of vectors from a left module) with finite support.

**Assertion**
Ref	Expression
clinco	LinCo

See definition df-lco 42196 for more information.

Colors of variables: wff setvar class

W3C validator