P
Initializing...
A Stone basic open is nonempty exactly when its element is nonzero · Prove2Me