---

Step * 1 of Lemma nsgrp_of_ideal_wf


1. r : CRng
2. a : |r| ⟶ ℙ
3. a Ideal of r
⊢ a↓+nsgp SubGrp of r↓+gp
BY
{ (D 0 THEN RepUR ``nsgrp_of_ideal`` 0 THEN Auto) }

---

Latex:

---

Latex:

1.  r  :  CRng
2.  a  :  |r|  {}\mrightarrow{}  \mBbbP{}
3.  a  Ideal  of  r
\mvdash{}  a\mdownarrow{}+nsgp  SubGrp  of  r\mdownarrow{}+gp


By

---

Latex:
(D  0  THEN  RepUR  ``nsgrp\_of\_ideal``  0  THEN  Auto)

---

Home Index