Mathlib v3 is deprecated. Go to Mathlib v4

Theorem balanced_core_subset_balanced_core_aux

Modification history