theory Sigmoid_Universal_Approximation imports Limits_Higher_Order_Derivatives Sigmoid_Definition Derivative_Identities_Smoothness Asymptotic_Qualitative_Properties Universal_Approximation begin end