---

Step * of Lemma rseteq_weakening

No Annotations
∀[A,B:Set(ℝ)].  rseteq(A;B) supposing A = B ∈ Set(ℝ)
BY
{ (Unfold `rseteq` 0 THEN Auto)⋅ }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[A,B:Set(\mBbbR{})].    rseteq(A;B)  supposing  A  =  B


By

---

Latex:
(Unfold  `rseteq`  0  THEN  Auto)\mcdot{}

---

Home Index