Mathlib v3 is deprecated. Go to Mathlib v4

Def pred_order.pred_order_of_le_pred_iff

Modification history