Theorem FirstOrder.Language.Embedding.isElementary_of_exists

Modification history