Step
*
of Lemma
rem_nrel_wf
∀[a:ℕ]. ∀[n:ℕ+]. ∀[r:ℕ].  (Rem(a;n;r) ∈ ℙ)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[a:\mBbbN{}].  \mforall{}[n:\mBbbN{}\msupplus{}].  \mforall{}[r:\mBbbN{}].    (Rem(a;n;r)  \mmember{}  \mBbbP{})
By
Latex:
ProveWfLemma
Home
Index