Theorem FirstOrder.Language.Substructure.comap_sup_map_of_injective

Modification history