Theorem Order.pred_lt_pred_iff_of_not_isMin

Modification history