Theorem Int.pred_self_lt

Modification history