---

Step * of Lemma algebra_sig_inc

∀A:Type. (algebra_sig{i:l}(A) ⊆r algebra_sig{[i | j]:l}(A))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}A:Type.  (algebra\_sig\{i:l\}(A)  \msubseteq{}r  algebra\_sig\{[i  |  j]:l\}(A))


By

---

Latex:
Auto

---

Home Index