Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-05 17:27
ae8e5272
View on Github →
fix(Condensed/Explicit): typo in docstring (
#32478
)
Estimated changes
Modified
Mathlib/Condensed/Explicit.lean