mathlib
be412c3d - fix(README): update specialties of maintainers (#10086)

Commit

4 years ago

fix(README): update specialties of maintainers (#10086)

Author

jcommelin

jcommelin

Parents

Loading