P
Initializing...
Unitary maps commute with real scalars · Prove2Me