Theorem FirstOrder.Language.DirectLimit.exists_fg_substructure_in_Sigma

Modification history