This webpage (about the undergraduate mathematics not yet in mathlib) has moved to mathlib's webpage. If you are not redirected automatically, follow this link to the list of missing undergraduate topics.