Theorem FirstOrder.Language.Substructure.comap_map_eq_of_injective

Modification history