---

Step * 1 of Lemma count_bounds


1. s : DSet
2. a : |s|
⊢ (0 ≤ 0) ∧ (0 ≤ 0)
BY
{ xxxAutoxxx }

---

Latex:

---

Latex:

1.  s  :  DSet
2.  a  :  |s|
\mvdash{}  (0  \mleq{}  0)  \mwedge{}  (0  \mleq{}  0)


By

---

Latex:
xxxAutoxxx

---

Home Index