P
Initializing...
Eq. (11) — Tensor-product distance upper bound · Prove2Me