`BookProof.ChapterGaugeComprehensiveFixing.shift_no_clopen_complete_gaugeFixing` {S : Set ℝ} (hcomp : IsComprehensiveGaugeFixing (Multiplicative ℤ) S) (hcompl : IsCompleteGaugeFixi

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.shift_no_clopen_complete_gaugeFixing` {S : Set ℝ} (hcomp : IsComprehensiveGaugeFixing (Multiplicative ℤ) S) (hcompl : IsCompleteGaugeFixi · Prove2Me