Leibniz Rule for Distributional Products