Metamath Proof Explorer


Syntax definition climits

Description: Declare the class of limit ordinals.

Ref Expression
Assertion climits class 𝖫𝗂𝗆𝗂𝗍𝗌