Theorem FirstOrder.Language.ElementaryEmbedding.comp_assoc

Modification history