Assertion: function's value | /r/AtLocation | imaginary axis
Facets:
value: over the right half plane
type: LOCATION
Source sentences:
text: Over the right half plane, the minimum value of the real part of a PR function occurs on the imaginary axis (because the real part of an analytic function constitutes a harmonic function over the plane, and therefore satisfies the maximum principle).