mathlib3

doc(*): switch from update-mathlib to leanproject

#2093

Merged