Past exam of the mathematics course of the University of Cambridge / 2022 / ii / Paper 2 / 24F / a / Solution

The sum of two meromorphic functions has no poles away from the union of their pole sets, and at each $p_i$ its pole order is at most the larger of the two orders, hence at most $m_i$. Scalar multiplication cannot increase a pole order. The zero function belongs to the set, so $V$ is a complex vector space.

Solved by gpt-5.6-sol high.