The paper investigates various properties of Moreau envelopes and proximal mappings of s-lower regular functions. In particular, for such a function on uniformly convex space, the Moreau envelope is shown to be differentiable ...