P
Initializing...
Main theorem (positive spin): (1) ⟺ (7) at each point of $U$ for $C^\infty$ fields · Prove2Me