P
Initializing...
`S(G_aᵛ) = P_{1/q}(S(B_aᵛ))`. · Prove2Me