Graded Leibniz rule