Theorem FirstOrder.Language.Embedding.substructureEquivMap_apply

Modification history