mathlib

6d0984db - doc(README): improve documentation on how to contribute (#13116)

doc(README): improve documentation on how to contribute (#13116) Create a new contributing section which highlights the basic steps on how to start contributing to mathlib