Theorem Order.isMin_iterate_pred_of_eq_of_lt

Modification history