P
Initializing...
`BookProof.ChapterLorentzRealRepSum.finrank_WHalf` : finrank ℝ WHalf = 4 · Prove2Me