In [7], O. Lehto and K. I. Virtanen introduced the concept of normal meromorphic functions in connection with the study of boundary behaviour of meromorphic functions of one complex variable.
In this paper, we generalize the theory of normal meromorphic functions to the case of holomorphic mappings into higher dimensional complex spaces in connection with the theory of hyperbolic manifolds and Nevanlinna theory.
The main concern of this paper is the generalizations of the big Picard theorem and Lindelöf’s theorem which appear in the classical function theory.