Theorem PredOrder.prelimitRecOn_pred_of_not_isMin

Modification history