Differentiable mappings between weighted restricted products
B. Walter, (2014).