Theorem FirstOrder.Language.Substructure.map_supᵢ_comap_of_surjective

Modification history