---

Step * of Lemma subtype_rel_rng_sig

RngSig ⊆r RngSig{[i | j]}
BY
{ (Unfold `rng_sig` 0 THEN Auto) }

---

Latex:

---

Latex:
RngSig  \msubseteq{}r  RngSig\{[i  |  j]\}


By

---

Latex:
(Unfold  `rng\_sig`  0  THEN  Auto)

---

Home Index