Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-05-14 13:17
b4b5d9c8
View on Github →
doc(/Data/NNReal/Defs): typo (
#24895
) Fix a typo
Estimated changes
Modified
Mathlib/Data/NNReal/Defs.lean