P
Initializing...
The entrywise squared-norm matrix of a unitary is doubly stochastic · Prove2Me