P
Initializing...
Eq. (14): $(I\otimes\Psi)\big((A\otimes J)*\tau\big) = (A\otimes J)*\big((I\otimes\Psi)(\tau)\big)$ · Prove2Me