---

Step * of Lemma bool_subtype_base

𝔹 ⊆r Base
BY
{ Auto }

---

Latex:

---

Latex:
\mBbbB{}  \msubseteq{}r  Base


By

---

Latex:
Auto

---

Home Index