Theorem List.count_eq_of_nodup

Modification history