Theorem FirstOrder.Language.Substructure.reduct_withConstants

Modification history