Step
*
of Lemma
sq_stable__ss-eq
∀[ss:SeparationSpace]. ∀[x,y:Point].  SqStable(x ≡ y)
BY
{ EAuto 2 }
Latex:
Latex:
\mforall{}[ss:SeparationSpace].  \mforall{}[x,y:Point].    SqStable(x  \mequiv{}  y)
By
Latex:
EAuto  2
Home
Index