Theorem FirstOrder.Language.Substructure.cg_iff_structure_cg

Modification history