Theorem List.mem_enum_iff_get?

Modification history