P
Initializing...
Fact 3.1.3 (local form) — $\operatorname{tr}(F_A\wedge F_A)=d\,CS(A)$ · Prove2Me