Mathlib v3 is deprecated. Go to Mathlib v4

Theorem miu.mem_of_count_U_eq_succ

Modification history