P
Initializing...
Pure-output minus transform preserves squared fidelity · Prove2Me