Theorem List.mem_nil

Modification history