---

Step * of Lemma cdrng_properties

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

1
1. r : CDRng
⊢ IsEqFun(|r|;=b)

---

Latex:

---

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


By

---

Latex:
D  0  THENA  Auto

---

Home Index