---

Step * of Lemma crng_properties

∀[r:CRng]. Comm(|r|;*)
BY
{ D 0 THENA Auto }

1
1. r : CRng
⊢ Comm(|r|;*)

---

Latex:

---

Latex:
\mforall{}[r:CRng].  Comm(|r|;*)


By

---

Latex:
D  0  THENA  Auto

---

Home Index