Theorem Miu.count_I_eq_length_of_count_U_zero_and_neg_mem

Modification history

2023-06-26 14:58
Archive/MiuLanguage/DecisionSuf.lean
feat: port Archive.MiuLanguage.DecisionSuf (#5475)
Added Miu.count_I_eq_length_of_count_U_zero_and_neg_memView on Github →