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

Commit

4 years ago

feat(README.md): add Rémy Degenne (#9187) Co-authored-by: Rémy Degenne <remydegenne@gmail.com>

Author

jcommelin

Parents