Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Quantifier-free definitions
climits

Next ⟩ cfuns

Metamath Proof Explorer

Ascii
Structured

Syntax definition climits

Description: Declare the class of limit ordinals.

		Ref	Expression
	Assertion	climits	class Limits