clpoN - Mathbox for Norm Megill

	Mathbox for Norm Megill		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > clpoN		Structured version Visualization version GIF version

Syntax Definition clpoN 39494

Description: Extend class notation with all polarities of a left module or left vector space.

**Assertion**
Ref	Expression
clpoN	class LPol

See definition df-lpolN 39495 for more information.

Colors of variables: wff setvar class