mathlib3
f2786639 - feat(README.md): add Frédéric Dupuis as new maintainer (#11651)

Commit

3 years ago

feat(README.md): add Frédéric Dupuis as new maintainer (#11651)

Author

dupuisf

dupuisf

Parents

Loading