cveronese - Mathbox for Jiamin Zhao

	Mathbox for Jiamin Zhao		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cveronese		Structured version Visualization version GIF version

Syntax Definition cveronese 50783

Description: Extend class notation to include the quadratic Veronese map on real 3-vectors. (Contributed by Jiamin Zhao, 14-Aug-2026.)

**Assertion**
Ref	Expression
cveronese	class veronese

See definition df-veronese 50784 for more information.

Colors of variables: wff setvar class