Theorem List.sublist_of_orderEmbedding_get?_eq

Modification history