Theorem List.sublist_iff_exists_orderEmbedding_get?_eq

Modification history