On the product formula for the oriented degree for Fredholm maps of index zero between Banach manifolds (Q5960857)

Building on the concept of boundary set of a nonlinear operator introduced by the first two authors in [Ann. Sci. Math. Qué. 22, No. 2, 131-148 (1998; Zbl 1058.58502)], see also the preceding review, the authors prove a formula indicated in the title which is parallel to the classical product formula for the Leray-Schauder degree of two compact vector fields between Banach spaces.