---

Step * of Lemma dmon_properties

∀[g:DMon]. IsEqFun(|g|;=b)
BY
{ D 0 THENA Auto  }

1
1. g : DMon
⊢ IsEqFun(|g|;=b)

---

Latex:

---

Latex:
\mforall{}[g:DMon].  IsEqFun(|g|;=\msubb{})


By

---

Latex:
D  0  THENA  Auto 

---

Home Index