Theorem FirstOrder.Language.Embedding.subtype_equivRange

Modification history