P
Initializing...
The subproducts of theta and the zeta are outer (Theorem 2.1) · Prove2Me