Uniform linear bound in Chevalley's lemma

J. Adamus, E. Bierstone, P. D. Milman

We obtain a uniform linear bound for the Chevalley function at a point in the source of an analytic mapping that is regular in the sense of Gabrielov. There is a version of Chevall…