Metamath Proof Explorer


Syntax definition cray

Description: Declare the constant for the ray function.

Ref Expression
Assertion cray class Ray