csuppos - Mathbox for Adrian Ducourtial

	Mathbox for Adrian Ducourtial		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > csuppos		Structured version Visualization version GIF version

Syntax Definition csuppos 35326

Description: Syntax for the function of superpositions.

**Assertion**
Ref	Expression
csuppos	class suppos

See definition df-suppos 35327 for more information.

Colors of variables: wff setvar class