---

Step * of Lemma poset_sig_inc

PosetSig ⊆r PosetSig{[i | j]}
BY
{ Auto }

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index