`BookProof.ChapterGaugeComprehensiveFixing.unitCell_indicator_not_isPhysicalObservable` : ¬ IsPhysicalObservable (Multiplicative ℤ) (unitCell.indicator (fun _ => (1 : ℝ)))

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.unitCell_indicator_not_isPhysicalObservable` : ¬ IsPhysicalObservable (Multiplicative ℤ) (unitCell.indicator (fun _ => (1 : ℝ))) · Prove2Me