Step
*
of Lemma
nat_plus_subtype_nat
ℕ
+
 ⊆r ℕ
BY
{ Auto }
Latex:
Latex:
\mBbbN{}\msupplus{}  \msubseteq{}r  \mBbbN{}
By
Latex:
Auto
Home
Index