Theorem List.mem_reverse

Modification history