Theorem FirstOrder.Language.Substructure.fg_closure_singleton

Modification history