P
Initializing...
`BookProof.ChapterLorentzRealRepDirect.WFam_isInternal` : DirectSum.IsInternal WFam · Prove2Me