---

Step * 3 1 of Lemma fset_of_mset_mem


1. s : DSet
2. c : |s|
⊢ ∀x:|s|. x (=b) c = x (=b) c
BY
{ Auto }

---

Latex:

---

Latex:

1.  s  :  DSet
2.  c  :  |s|
\mvdash{}  \mforall{}x:|s|.  x  (=\msubb{})  c  =  x  (=\msubb{})  c


By

---

Latex:
Auto

---

Home Index