`BookProof.ChapterLorentzRealRepSum.range_bAllR` : Set.range bAllR = Set.range bHalfR ∪ Set.range b10R ∪ Set.range bPsR

Initializing...

`BookProof.ChapterLorentzRealRepSum.range_bAllR` : Set.range bAllR = Set.range bHalfR ∪ Set.range b10R ∪ Set.range bPsR · Prove2Me