---

Step * of Lemma bor-btrue

∀[b:𝔹]. (b ∨btt ~ tt)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[b:\mBbbB{}].  (b  \mvee{}\msubb{}tt  \msim{}  tt)


By

---

Latex:
Auto

---

Home Index