Full-line identity: the two-sided vertical integral of $H \cdot \Lambda'/\Lambda$ equals the zero sum minus $H(0) + H(1)$

Initializing...

Full-line identity: the two-sided vertical integral of $H \cdot \Lambda'/\Lambda$ equals the zero sum minus $H(0) + H(1)$ · Prove2Me