Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.pred_card_le_card_erase

Modification history