Step
*
of Lemma
subinterval_wf
∀[I,J:Interval]. (I ⊆ J ∈ ℙ)
BY
{ (Unfold `subinterval` 0 THEN Auto) }
Latex:
Latex:
\mforall{}[I,J:Interval]. (I \msubseteq{} J \mmember{} \mBbbP{})
By
Latex:
(Unfold `subinterval` 0 THEN Auto)
Home
Index