Theorem FirstOrder.Language.Substructure.cg_iff_countable

Modification history