Theorem FirstOrder.Language.Substructure.le_comap_of_map_le

Modification history