Step
*
of Lemma
real-ss_wf
ℝ ∈ SeparationSpace
BY
{ (ProveWfLemma THEN Try ((MemTypeCD THEN Reduce 0 THEN EAuto 1))) }
Latex:
Latex:
\mBbbR{} \mmember{} SeparationSpace
By
Latex:
(ProveWfLemma THEN Try ((MemTypeCD THEN Reduce 0 THEN EAuto 1)))
Home
Index