P
Initializing...
`BookProof.ChapterLorentzRealRepFull.finrank_WTwo` : finrank ℝ WTwo = 2 · Prove2Me