Theorem FirstOrder.Language.Substructure.comap_inf_map_of_injective

Modification history