---

Step * of Lemma finite-bool

finite(𝔹)
BY
{ ((Unfold `bool` 0 THEN Auto) THEN BLemma `finite-union` THEN Auto) }

---

Latex:

---

Latex:
finite(\mBbbB{})


By

---

Latex:
((Unfold  `bool`  0  THEN  Auto)  THEN  BLemma  `finite-union`  THEN  Auto)

---

Home Index