ctripp - Mathbox for Jiamin Zhao

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

Syntax Definition ctripp 50653

Description: Extend class notation to include the scalar triple product of 3-dimensional real coordinate vectors. (Contributed by Jiamin Zhao, 31-Jul-2026.)

**Assertion**
Ref	Expression
ctripp	class tripp

See definition df-tripp 50654 for more information.

Colors of variables: wff setvar class

W3C validator