Theorem FirstOrder.Language.Embedding.refl_apply

Modification history