Mathlib v3 is deprecated. Go to Mathlib v4

Theorem miu.eq_append_cons_U_of_count_U_pos

Modification history