`BookProof.ChapterLorentzRealRepFull.range_bFullR` : Set.range bFullR = ((Set.range bHalfR ∪ Set.range b10R) ∪ Set.range bPsR) ∪ Set.range w2R

Initializing...

`BookProof.ChapterLorentzRealRepFull.range_bFullR` : Set.range bFullR = ((Set.range bHalfR ∪ Set.range b10R) ∪ Set.range bPsR) ∪ Set.range w2R · Prove2Me