Theorem List.mk_mem_enumFrom_iff_le_and_get?_sub

Modification history