P
Initializing...
Left partial trace and its Hermitian adjoint · Prove2Me