`BookProof.ChapterGaugeComprehensiveFixing.not_isClopen_of_complete_comprehensive` [PreconnectedSpace X] [Nonempty X] [Nontrivial G] {S : Set X} (hcomp : IsComprehensiveGaugeFixing

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.not_isClopen_of_complete_comprehensive` [PreconnectedSpace X] [Nonempty X] [Nontrivial G] {S : Set X} (hcomp : IsComprehensiveGaugeFixing · Prove2Me