Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-01-09 17:21
425a4895
View on Github →
chore(1000.yaml): re-enable comments, add more entries (
#20554
)
Estimated changes
Modified
docs/1000.yaml