Theorem FirstOrder.Language.Substructure.comap_iSup_map_of_injective

Modification history