Theorem FirstOrder.Language.Substructure.cg_closure_singleton

Modification history