P

Initializing...

Lemma 3.1.2 — $|F\pm\star F|^2=2|F|^2\mp2\operatorname{tr}(F\wedge F)$ · Prove2Me