Implicit-function subdifferentiation formulas for Lipschitz mappings (Q1178093)

Refining a known result concerning the existence of Lipschitzian implicit functions [see e.g., \textit{F. H. Clarke}, Pac. J. Math. 64, 97-102 (1976; Zbl 0331.26013)] this very short note contains the statement of a theorem giving some estimates of Clarke's generalized Jacobian matrix of the implicit function; no hint on the proof of the theorem is given.