Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-03-22 01:30
565ed898
View on Github →
docs(Konigsberg): fix grammar (
#23208
)
Estimated changes
Modified
Archive/Wiedijk100Theorems/Konigsberg.lean