Theorem List.mem_replicate

Modification history