`BookProof.ChapterGaugeComprehensiveFixing.unitCell_not_isClopen` : ¬ IsClopen unitCell

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.unitCell_not_isClopen` : ¬ IsClopen unitCell · Prove2Me