Theorem FirstOrder.Language.Substructure.closure_empty

Modification history