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