---

Step * of Lemma poset_properties

∀[s:POSet{i}]. UniformlyAntiSym(|s|;a,b.a ≤ b)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[s:POSet\{i\}].  UniformlyAntiSym(|s|;a,b.a  \mleq{}  b)


By

---

Latex:
ProvePropertiesLemma

---

Home Index