Thms sequent rank Sections ClassicalProps(jlc) Doc

gt Def i > j == j < i

Thm* i,j:. i > j Prop

About:
!abstractionless_thanallintmemberprop