Theorem FirstOrder.Language.Substructure.fg_iff_structure_fg

Modification history