Mathlib is the open-source community mathematical library developed for the Lean theorem prover