`BookProof.ChapterLorentzRealRepFull.bFullR_linearIndependent` : LinearIndependent ℝ bFullR

Initializing...

`BookProof.ChapterLorentzRealRepFull.bFullR_linearIndependent` : LinearIndependent ℝ bFullR · Prove2Me