Three Sections ClassicalProps(jlc) Doc

Def i j < k == ij & j < k

is mentioned

In prior sections: int 1 int 2

Try larger context: ClassicalProps(jlc)

Three Sections ClassicalProps(jlc) Doc