Three
Sections
ClassicalProps(jlc)
Doc
Def
i
j < k == i
j & j < k
is mentioned
In prior sections:
int
1
int
2
Try larger context:
ClassicalProps(jlc)
Three
Sections
ClassicalProps(jlc)
Doc