General Leibniz rule