P
Initializing...
§3.2, (3.1) — leaf conditions and the intersection/union recursion for $G_P(U)$ · Prove2Me