---

Step * of Lemma bool_sq

SQType(𝔹)
BY
{ SqTac }

---

Latex:

---

Latex:
SQType(\mBbbB{})


By

---

Latex:
SqTac

---

Home Index