normalization
Sections
ClassicalProps(jlc)
Doc
Def
i > j == j < i
In prior sections:
int
2
sequent
rank