Theorem Int.lt_succ_self

Modification history