Theorem FirstOrder.Language.empty.nonempty_embedding_iff

Modification history