Theorem List.Vector.mem_of_mem_tail

Modification history