Theorem FirstOrder.Language.Embedding.equivRange_apply

Modification history