---

Step * of Lemma atomic-values_subtype_base

atomic-values() ⊆r Base
BY
{ Auto }

---

Latex:

---

Latex:
atomic-values()  \msubseteq{}r  Base


By

---

Latex:
Auto

---

Home Index