Theorem FirstOrder.Language.Substructure.comap_le_comap_iff_of_surjective

Modification history