Theorem FirstOrder.Language.Substructure.map_surjective_of_surjective

Modification history