`BookProof.ChapterLorentzRealRepFull.finrank_full` : finrank ℝ ↥(WHalf ⊔ W10 ⊔ WPs ⊔ WTwo) = 16

Initializing...

`BookProof.ChapterLorentzRealRepFull.finrank_full` : finrank ℝ ↥(WHalf ⊔ W10 ⊔ WPs ⊔ WTwo) = 16 · Prove2Me