mathlib
07be9042 - doc(README): add list of emeritus maintainers (#10288)

Commit

4 years ago

doc(README): add list of emeritus maintainers (#10288)

Author

jcommelin

jcommelin

Parents

Loading