P
Initializing...
`BookProof.ChapterPinOmega.Omega_card` : Omega.card = 8 · Prove2Me