Theorem List.mk_mem_enum_iff_get?

Modification history