Covering of nonlinear maps on a cone in neighborhoods of irregular points

Inverse function theorems for smooth nonlinear maps defined on convex cones in Banach spaces in a neighborhood of an irregular point are considered. The corresponding covering theorem is proved. The proofs are based on a Banach open mapping theorem for convex cones in Banach spaces, which is also proved in the paper. Sufficient conditions for tangency to the zero set of a nonlinear map without a priori regularity assumptions are obtained.