Step
*
of Lemma
ratsign_wf
∀[x:ℤ × ℕ
+
]. (ratsign(x) ∈ {-1..2
-
})
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[x:\mBbbZ{} \mtimes{} \mBbbN{}\msupplus{}]. (ratsign(x) \mmember{} \{-1..2\msupminus{}\})
By
Latex:
ProveWfLemma
Home
Index