chore(undergrad.yaml): updates (#4160)
chore(undergrad.yaml): updates (#4160)

Added a bunch of things to `undergrad.yaml`: generalized eigenspaces, conjugacy classes in a group, the orthogonal complement, continuity of monotone functions and their inverses, inverse hyperbolic trig functions, radius of convergence.  Also changed (hopefully improved) some translations.



Co-authored-by: Rob Lewis <597e2d195b18d1f0b2b6530cee088a0ab0ed3ce2@gmail.com>
Co-authored-by: Patrick Massot <32f9b1fcd0a495248bb312c163462b2098efe57d@free.fr>

leanprover-community/mathlib,leanprover-community/mathlib