Theorem List.mem_getLast?_eq_getLast

Modification history