Theorem List.mem_getLast?_cons

Modification history