Theorem List.eq_or_mem_of_mem_insertIdx

Modification history