mathlib3

6f272716 - fix(documentation): fix a typo in the readme (#2969)