It seems strange to me that
extreme-value-theorem
is a tag and you removed the mean-value-theorem
on 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 — Jess 4 hours ago