I want this for two reasons:
When writing proofs, I am constantly in need of synonyms of basic words like thus, there exists, for all, such as, contains, etc.
A lot of mathematical concepts have multiple names, e.g. abelianization vs derived quotient, vanishes vs goes to $0$, and so on.
A big list of either of these types of synonyms would help improve the flow of my mathematical writing. Also, the latter case would familiarize me with alternative terminology I may run into later.
Does anything like this exist?