Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-11 11:46
cdcab729
View on Github →
doc(1000.yml): mention the Riemann mapping theorem (
#32689
)
Estimated changes
Modified
docs/1000.yaml