Theorem FirstOrder.Language.Structure.FG.map_of_surjective

Modification history