mathlib3

1e27fba8 - admin(README.md): add @adamtopaz to the maintainers list (#6987)

admin(README.md): add @adamtopaz to the maintainers list (#6987) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Adam Topaz <adamtopaz@users.noreply.github.com>