Theorem FirstOrder.Language.Substructure.subset_closure_withConstants

Modification history