Step
*
1
of Lemma
assert_pushup_example
↑(4 <z 3 ∨
b
3 ≤z 5)
BY
{ Reduce 0 }
1
True
Latex:
Latex:
\muparrow{}(4 <z 3 \mvee{}\msubb{}3 \mleq{}z 5)
By
Latex:
Reduce 0
Home
Index