P
Initializing...
The constant term of a twisted product: `(U V)₀₀ = U₀₀ V₀₀`. · Prove2Me