Theorem List.mem_iff_get?

Modification history