`BookProof.ChapterGaugeComprehensiveFixing.not_isPhysicalObservable_indicator` [Nontrivial G] [Nonempty X] (hcomp : IsComprehensiveGaugeFixing G S) (hcompl : IsCompleteGaugeFixing'

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.not_isPhysicalObservable_indicator` [Nontrivial G] [Nonempty X] (hcomp : IsComprehensiveGaugeFixing G S) (hcompl : IsCompleteGaugeFixing' · Prove2Me