Metamath Proof Explorer


Syntax definition cli

Description: Extend class notation with convergence relation for limits.

Ref Expression
Assertion cli
class ~~>