P
Initializing...
`BookProof.ChapterLorentzRealRep.card_10` : (Finset.univ.image b10).card = 6 · Prove2Me