Theorem FirstOrder.Language.Substructure.comap_injective_of_surjective

Modification history