Theorem List.next_mem

Modification history