Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-07-09 22:47
d3f5dcdd
View on Github →
doc: fix some author fields in references (
#14391
)
Estimated changes
Modified
docs/references.bib