---

Step * of Lemma perm_properties

∀T:Type. ∀p:Perm(T).  InvFuns(T;T;p.f;p.b)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}T:Type.  \mforall{}p:Perm(T).    InvFuns(T;T;p.f;p.b)


By

---

Latex:
ProvePropertiesLemma

---

Home Index