PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
lt
to
le
rw
i,j:
. i < j
i+1
j
By:
Unfold `guard` 0
THEN
Lemma Thm*
i,j:
. i < j
i+1
j
Generated subgoals:
None
About:
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
i,j:
. i < j 
i+1
ji,j:. i < j i+1j
