Theorem List.get_of_mem

Modification history