---

Step * of Lemma empty-fset-ac-le

∀[eq,a:Top].  (fset-ac-le(eq;{};a) ~ True)
BY
{ Auto }

1
1. eq : Top
2. a : Top
⊢ fset-ac-le(eq;{};a) ~ True

---

Latex:

---

Latex:
\mforall{}[eq,a:Top].    (fset-ac-le(eq;\{\};a)  \msim{}  True)


By

---

Latex:
Auto

---

Home Index