P
Initializing...
`BookProof.ChapterA3.isPin_omegaA0` : IsPin omegaA0 · Prove2Me