feat(README.md): add Rémy Degenne (#9187)
feat(README.md): add Rémy Degenne (#9187)




Co-authored-by: Rémy Degenne <761511ba67cc85bc4a1e03c457fc34b85543d8ca@gmail.com>

leanprover-community/mathlib,leanprover-community/mathlib