By approximately 2020, Mathlib included formalized definitions and theorems covering most standard undergraduate mathematics curricula