Step * 1 1 of Lemma nat_add_mon_wf2

.....wf..... 
<ℤ+> ∈ OCMon
BY
Auto }


Latex:


Latex:
.....wf..... 
<\mBbbZ{}+>  \mmember{}  OCMon


By


Latex:
Auto




Home Index