Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-10-15 12:44
5f6a1bb8
View on Github →
chore(Algebra/Order/Ring/Unbundled/Rat): golf (
#30282
)
Estimated changes
Modified
Mathlib/Algebra/Order/Ring/Unbundled/Rat.lean
modified
theorem
Rat.ofScientific_nonneg