---

Step * of Lemma atom_subtype_base

Atom ⊆r Base
BY
{ (D 0 THEN Try ((Unfold `member` 0 THEN Refine_baseAtom)) THEN Auto) }

---

Latex:

---

Latex:
Atom  \msubseteq{}r  Base


By

---

Latex:
(D  0  THEN  Try  ((Unfold  `member`  0  THEN  Refine\_baseAtom))  THEN  Auto)

---

Home Index