Mathlib v3 is deprecated. Go to Mathlib v4

Def balance_match

Modification history