Theorem FirstOrder.Language.ElementaryEmbedding.map_rel

Modification history