Theorem FirstOrder.Language.Equiv.toElementaryEmbedding_toEmbedding

Modification history