`BookProof.ChapterGaugeIncompleteFixing.univ_isComprehensiveGaugeFixing` : IsComprehensiveGaugeFixing G (Set.univ : Set X)

Initializing...

`BookProof.ChapterGaugeIncompleteFixing.univ_isComprehensiveGaugeFixing` : IsComprehensiveGaugeFixing G (Set.univ : Set X) · Prove2Me