Theorem FirstOrder.Language.Embedding.toPartialEquiv_toEmbedding

Modification history