Description: Extend class notation to include the quadratic Veronese map on real 3-vectors. (Contributed by Jiamin Zhao, 14-Aug-2026)
| Ref | Expression | ||
|---|---|---|---|
| Assertion | cveronese | Could not format assertion : No typesetting found for class veronese with typecode class |