Theorem List.sublist_iff_exists_fin_orderEmbedding_get_eq

Modification history