The Hofer–Wysocki–Zehnder identity $\mathrm{wind}_\pi=\mathrm{wind}_\infty-\chi+\#\Gamma$

Initializing...

The Hofer–Wysocki–Zehnder identity $\mathrm{wind}_\pi=\mathrm{wind}_\infty-\chi+\#\Gamma$ · Prove2Me