Theorem FirstOrder.Language.ElementaryEmbedding.map_sentence

Modification history