Theorem FirstOrder.Language.ElementaryEmbedding.refl_apply

Modification history