Step
*
of Lemma
assert_pushup_example
4 < 3 ∨ (3 ≤ 5)
BY
{ (RW assert_pushupC 0 THENA Auto) }
1
↑(4 <z 3 ∨
b
3 ≤z 5)
Latex:
Latex:
4 < 3 \mvee{} (3 \mleq{} 5)
By
Latex:
(RW assert\_pushupC 0 THENA Auto)
Home
Index