Theorem FirstOrder.Language.Substructure.cg_iff_empty_or_exists_nat_generating_family

Modification history