P
Initializing...
The horizontal contour pieces of $H \cdot \Lambda'/\Lambda$ vanish along good heights · Prove2Me