P
Initializing...
Generic field-strength derivative ∂_1 F_{11} · Prove2Me