Theorem FirstOrder.Language.Substructure.FG.of_map_embedding

Modification history