Tree-safe for some $\theta$ iff AP closure and no same-node conflict · Prove2Me

P

Initializing...

Tree-safe for some $\theta$ iff AP closure and no same-node conflict · Prove2Me