Theorem FirstOrder.Language.Substructure.fg_iff_exists_fin_generating_family

Modification history