P
Initializing...
Small SU(2) elements admit balanced approximate commutator factorizations · Prove2Me