---

Step * of Lemma upper-bound_functionality

No Annotations
∀[A:Set(ℝ)]. ∀[b,c:ℝ].  {A ≤ c supposing A ≤ b} supposing b ≤ c
BY
{ (Unfolds ``upper-bound guard`` 0 THEN Auto) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[A:Set(\mBbbR{})].  \mforall{}[b,c:\mBbbR{}].    \{A  \mleq{}  c  supposing  A  \mleq{}  b\}  supposing  b  \mleq{}  c


By

---

Latex:
(Unfolds  ``upper-bound  guard``  0  THEN  Auto)

---

Home Index