Theorem List.duplicate_iff_two_le_count

Modification history