`BookProof.ChapterLorentzRealRep.bHalfR_linearIndependent` : LinearIndependent ℝ bHalfR

Initializing...

`BookProof.ChapterLorentzRealRep.bHalfR_linearIndependent` : LinearIndependent ℝ bHalfR · Prove2Me