---

Step * of Lemma subtype_rel_fset

∀[A,B:Type].  fset(A) ⊆r fset(B) supposing A ⊆r B
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[A,B:Type].    fset(A)  \msubseteq{}r  fset(B)  supposing  A  \msubseteq{}r  B


By

---

Latex:
Auto

---

Home Index