ccrossp - Mathbox for Jiamin Zhao

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

Syntax Definition ccrossp 50691

Description: Extend class notation to include the cross product operation. (Contributed by Jiamin Zhao, 31-Jul-2026.)

**Assertion**
Ref	Expression
ccrossp	class ⊠

See definition df-crossp 50692 for more information.

Colors of variables: wff setvar class