---

Step * of Lemma vr_test_foo_bar345566546

1 + 𝔹 ∈ Void ⟶ 1
BY
{ Auto }

---

Latex:

---

Latex:
1  +  \mBbbB{}  \mmember{}  Void  {}\mrightarrow{}  1


By

---

Latex:
Auto

---

Home Index