---

Step * of Lemma bool_sim_false

∀[b:𝔹]. b ~ ff supposing b = ff
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[b:\mBbbB{}].  b  \msim{}  ff  supposing  b  =  ff


By

---

Latex:
Auto

---

Home Index