Theorem List.duplicate_iff_sublist

Modification history