`BookProof.ChapterGaugeIncompleteFixing.unconstrained_gauge_fixing_incomplete` [Nontrivial G] [Nonempty X] (h : MovesEveryPointOfSpectrum G X) : ¬ IsCompleteGaugeFixing' G (Set.uni

Initializing...

`BookProof.ChapterGaugeIncompleteFixing.unconstrained_gauge_fixing_incomplete` [Nontrivial G] [Nonempty X] (h : MovesEveryPointOfSpectrum G X) : ¬ IsCompleteGaugeFixing' G (Set.uni · Prove2Me