Metamath Proof Explorer


Syntax definition ctripp

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
class tripp