Theorem FirstOrder.Language.Embedding.coeFn_ofInjective

Modification history