Theorem FirstOrder.Language.toEmbedding_embedding_empty

Modification history