---

Step * 2 1 1 1 of Lemma assert-bag-all


True ⇒ (∀b:𝔹. ((b ∈ []) ⇒ b = tt))
BY
{ Auto }

---

Latex:

---

Latex:

True  {}\mRightarrow{}  (\mforall{}b:\mBbbB{}.  ((b  \mmember{}  [])  {}\mRightarrow{}  b  =  tt))


By

---

Latex:
Auto

---

Home Index