§2.4, p. 20: $f=\eta_{\sqrt{-d}}$ commutes with the complex structure $I$ of $X\times\hat X$

Initializing...

§2.4, p. 20: $f=\eta_{\sqrt{-d}}$ commutes with the complex structure $I$ of $X\times\hat X$ · Prove2Me