The question is basically in the title:
Should we have tags for some individual theorems from calculus? (Or perhaps groups of theorems?) If so, which ones deserve their own tag?
It is not unprecedented to have a tag for group of theorems - fixed-point-theorems or probability-limit-theorem - or even specific theorem - central-limit-theorem, binomial-theorem, multinomial-theorem or chinese-remainder-theorem. So I would think that making this post about theorems in general would make this question too broad and therefore I restricted the question to theorems from calculus.
There already exist some tags related to theorems about differentiation: inverse-function-theorem and implicit-function-theorem. The first one has about 40 questions and the latter about 300 questions at the moment. (However, Implicit function theorem is a result from multivariable calculus, so it is slightly different from other calculus-related tags mentioned in this post.)
The main motivation why I posted this question now is that recently several tags named after theorems from introductory analysis have been created. There are the tags rolles-theorem and extreme-value-theorem, both of them created last month. (They are both still displayed in the list of new tags, together with date of creation. See also here and here.) The tag ivt for Intermediate value theorem has been created not so long ago and then removed. For this reason I thought that it would be good to get some input form the Math.SE community on this type of tags before new similar tags are created and before the already existing tag grow too large.
There exists previous discussion on meta about Mean value theorem: Tag proposal: mean-value-theorem. Although that question was about a specific tag, the answer also mentioned other theorems. Another calculus theorem which was discussed here on meta was Squeeze theorem: Tag proposal: squeeze-theorem.
I have also made a separate post about Rolle's theorem in tag management thread, but it is probably better to discuss this issue more generally rather than making a separate post about each tag of this nature.
extreme-value-theoremis a tag and you removed the
mean-value-theoremon my last post ([math.stackexchange.com/questions/3618023/…) . I am not necessarily saying I disagree (with the tag not existing) , but why does the extreme value theorem tag still exists then? Is that a more important theorem? Or is it only because it's been around longer $\endgroup$