P
Initializing...
Faithful iff H⁰ = 0 (constant gauge transformations are stuff) · Prove2Me