Download PDF - Differentiation of implicit functions and Steinhaus' theorem in topological measure spaces