Step * of Lemma eqmod_wf

[m,a,b:ℤ].  (a ≡ mod m ∈ ℙ)
BY
ProveWfLemma }


Latex:


Latex:
\mforall{}[m,a,b:\mBbbZ{}].    (a  \mequiv{}  b  mod  m  \mmember{}  \mBbbP{})


By


Latex:
ProveWfLemma




Home Index