Metamath Proof Explorer


Syntax definition cfzo

Description: Syntax for half-open integer ranges.

Ref Expression
Assertion cfzo class ..^