P
Initializing...
`BookProof.ChapterPauliFundamental.exists_inter_ne_zero` : ∃ F : M4, inter A F ≠ 0 · Prove2Me