Syntax definition ccrossp

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

	Ref	Expression
Assertion	ccrossp	Could not format assertion : No typesetting found for class crossp with typecode class