A positive unitary path from the identity winds at least as far as its endpoint eigen-angles

Initializing...

A positive unitary path from the identity winds at least as far as its endpoint eigen-angles · Prove2Me