mathlib

c35e9f63 - admin(README.md): add @b-mehta to the maintainers list (#6986)

admin(README.md): add @b-mehta to the maintainers list (#6986) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Bhavik Mehta <bhavikmehta8@gmail.com>