Theorem List.mem_repeat

Modification history