`BookProof.ChapterGaugeComprehensiveFixing.spuriousSection_isComprehensiveGaugeFixing` : IsComprehensiveGaugeFixing G (spuriousSection X G)

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.spuriousSection_isComprehensiveGaugeFixing` : IsComprehensiveGaugeFixing G (spuriousSection X G) · Prove2Me