Commit 2025-10-15 12:44 5f6a1bb8

View on Github →

chore(Algebra/Order/Ring/Unbundled/Rat): golf (#30282)

Estimated changes

modified theorem Rat.ofScientific_nonneg