`BookProof.ChapterLorentzRealRepFull.w2R_linearIndependent` : LinearIndependent ℝ w2R

Initializing...

`BookProof.ChapterLorentzRealRepFull.w2R_linearIndependent` : LinearIndependent ℝ w2R · Prove2Me