Mathlib v3 is deprecated. Go to Mathlib v4

Theorem miu.count_I_eq_length_of_count_U_zero_and_neg_mem

Modification history