Main theorem (negative spin): (1)$^-$ ⟺ (7) at each point of $U$ for $C^\infty$ fields

Initializing...

Main theorem (negative spin): (1)$^-$ ⟺ (7) at each point of $U$ for $C^\infty$ fields · Prove2Me