functions_bounded_at_infty): name updates to some lemmas (#17676)

Commit

3 years ago

chore(analysis/complex/upper_half_plane/functions_bounded_at_infty): name updates to some lemmas (#17676) coming from reviewer comments in #13250

Author

CBirkbeck

Parents