P
Initializing...
KN Christoffel derivative ∂_1 Γ^1_{33} · Prove2Me