Theorem List.get_mem

Modification history