P
Initializing...
`BookProof.ChapterPinDoubleCover.LamZ_mem_Delta` : ∀ S ∈ Omega, LamZ S ∈ Delta · Prove2Me