Mathlib v3 is deprecated. Go to Mathlib v4

Def pred_order.of_le_pred_iff_of_pred_le_pred

Modification history