PrintForm
Definitions
graph
1
2
Sections
Graphs
Doc
At:
arrows-monotone1
k:
, L:
List, r1,r2:
. r1
r2
r1- > L^k
r2- > L^k
By:
Auto
THEN
RepeatFor 3 (ParallelOp -1)
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
2
Sections
Graphs
Doc
k:
, L: List, r1,r2:
. r1
r2 
r1- > L^k r2- > L^k
