Nuprl Lemma : ss-whole_wf
∀[X:SeparationSpace]. (ss-whole(X) ∈ Open(X))
Proof
Error : references
Latex:
\mforall{}[X:SeparationSpace]. (ss-whole(X) \mmember{} Open(X))
Date html generated:
2020_05_21-AM-10_29_34
Last ObjectModification:
2018_07_06-PM-02_03_05
Theory : intuitionistic!topology
Home
Index