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