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 GIF version

Syntax Definition clinco 48322

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	class LinCo

See definition df-lco 48324 for more information.

Colors of variables: wff setvar class

W3C validator