`BookProof.ChapterLorentzRealRepSum.finrank_sup` : finrank ℝ ↥(WHalf ⊔ W10 ⊔ WPs) = 14

Initializing...

`BookProof.ChapterLorentzRealRepSum.finrank_sup` : finrank ℝ ↥(WHalf ⊔ W10 ⊔ WPs) = 14 · Prove2Me