P
Initializing...
Theorem 4: Golden–Thompson–Symanzik and equality · Prove2Me