Theorem List.sublist_of_orderEmbedding_getElem?_eq

Modification history