Metamath Proof Explorer


Syntax definition crange

Description: Declare the syntax for the range function.

Ref Expression
Assertion crange
class Range