P
Initializing...
`BookProof.ChapterPinDoubleCover.LamZ_neg` : ∀ S ∈ Omega, LamZ S = LamZ (-S) · Prove2Me