---

Step * 1 1 of Lemma princ_ideal_wf


1. r : Rng
2. a : |r|
⊢ (a)r ∈ |r| ⟶ ℙ
BY
{ TACTIC:ProveWfLemma }

---

Latex:

---

Latex:

1.  r  :  Rng
2.  a  :  |r|
\mvdash{}  (a)r  \mmember{}  |r|  {}\mrightarrow{}  \mBbbP{}


By

---

Latex:
TACTIC:ProveWfLemma

---

Home Index