---

Step * of Lemma finite-type-bool

finite-type(𝔹)
BY
{ ((Using [`n',⌜2⌝] (BLemma `cardinality-le-finite`))⋅ THEN Auto) }

---

Latex:

---

Latex:
finite-type(\mBbbB{})


By

---

Latex:
((Using  [`n',\mkleeneopen{}2\mkleeneclose{}]  (BLemma  `cardinality-le-finite`))\mcdot{}  THEN  Auto)

---

Home Index