Fact 3.1.3 — $\int_M\operatorname{tr}(F_A\wedge F_A)=\int_{\partial M}CS(A)$ on a box

Initializing...

Fact 3.1.3 — $\int_M\operatorname{tr}(F_A\wedge F_A)=\int_{\partial M}CS(A)$ on a box · Prove2Me