Description: Extend class notation to include the scalar triple product of 3-dimensional real coordinate vectors. (Contributed by Jiamin Zhao, 31-Jul-2026)
| Ref | Expression | ||
|---|---|---|---|
| Assertion | ctripp | Could not format assertion : No typesetting found for class tripp with typecode class |