P
Initializing...
`BookProof.ChapterPinDoubleCover.LamZ_surjective` : Delta = Omega.image LamZ · Prove2Me