Theorem FirstOrder.Language.exists_elementaryEmbedding_card_eq

Modification history