`BookProof.ChapterGaugeComprehensiveFixing.unitCell_isComprehensiveGaugeFixing` : IsComprehensiveGaugeFixing (Multiplicative ℤ) unitCell

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.unitCell_isComprehensiveGaugeFixing` : IsComprehensiveGaugeFixing (Multiplicative ℤ) unitCell · Prove2Me