Metamath Proof Explorer


Syntax definition climits

Description: Declare the class of limit ordinals.

Ref Expression
Assertion climits
class Limits