Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers
In this article, we extended properties of sequences of real numbers to sequences of extended real numbers. We also introduced basic properties of the inferior limit, superior limit and convergence of sequences of extended real numbers.
 Józef Białas. The σ-additive measure theory. Formalized Mathematics, 2(2):263-270, 1991.
 Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
 Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.