A note on Bierstone–Milman–Pawłucki's paper ``Composite differentiable functions''
A note on Bierstone–Milman–Pawłucki's paper ``Composite differentiable functions''
We demonstrate that the composite function theorems of Bierstone–Milman–Pawłucki and of Glaeser carry over to any polynomially bounded, o-minimal structure which admits smooth cell decomposition. Moreover, the assumptions of the o-minimal vers