Theorem List.next_ne_head_ne_getLast

Modification history