Theorem List.get?_mem

Modification history