Theorem List.mem_iff_get

Modification history