Assertion: real number's part | /r/HasProperty | harmonic function
Facets:
value: over the 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).