P
Initializing...
Rectangle identity: weighted argument principle for $H \cdot \xi'/\xi$ · Prove2Me