How to iterate conclusion clauses in a judgement rule?

Question

Here is my case:

$$ \frac{\vdash f(a_1, a_2, \dots, a_n)}{\vdash t(a_1) \vdash t(a_2) \dots \vdash t(a_n)} $$

I'm trying to make my conclusion part more compact. I'm thinking about something like this:

$$ \frac{\vdash f(a_1, a_2, \dots, a_n)}{\vdash_{i=1}^n t(a_i)} $$

Is it the right way to do this?