Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-07-09 15:53
69ea8a21
View on Github →
Remove Chris Hughes from maintainer list (
#14207
) I am resigning as a maintainer
Estimated changes
Modified
README.md