---

Step * of Lemma monus_wf

[a,b:].  ((a--b)  )
BY
{ ProveWfLemma }


\mforall{}[a,b:\mBbbZ{}].    ((a--b)  \mmember{}  \mBbbN{})


By

ProveWfLemma



Home Index