`BookProof.ChapterGaugeIncompleteFixing.no_gauge_invariant_point` [Nontrivial G] (h : MovesEveryPointOfSpectrum G X) (x : X) : ∃ g : G, g • x ≠ x

Initializing...

`BookProof.ChapterGaugeIncompleteFixing.no_gauge_invariant_point` [Nontrivial G] (h : MovesEveryPointOfSpectrum G X) (x : X) : ∃ g : G, g • x ≠ x · Prove2Me