Bokuan LiMay 27th at 05:26Typo: should be $\tau(\mathcal{S}) \subset \bigcap_{\tau \supset \mathcal{S}}\tau$.#6Powered by Spec