`BookProof.ChapterGaugeComprehensiveFixing.orbitRepresentatives_isComprehensiveGaugeFixing` : IsComprehensiveGaugeFixing G (orbitRepresentatives (X := X) G)

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.orbitRepresentatives_isComprehensiveGaugeFixing` : IsComprehensiveGaugeFixing G (orbitRepresentatives (X := X) G) · Prove2Me