Continuity of Formal Power Series Products in Nonlinear Control Theory. - W. Steven Gray; Mathias Palmstrøm; Alexander Schmeding (Found. Comput. Math., 2023)