Some discussion about cauchy-sequence tag. (Mainly whether it should be cauchy-sequences, but in the comments it is also discussed whether this tag is needed.)
Personally I am for keeping the tag. (And I do not have strong opinion about pluralization, but it seems that it is common consensus to put plural in tags.)
The tag cauchy-sequence should be pluralized, for consistency with other tags (e.g., sequences-and-series.
