[ShahakShama]

Note

Low Risk
Documentation-only wording change with no impact on runtime behavior or APIs.

Overview
Updates style.md to narrow the Arithmetic guideline by removing the “ditto for other mathematical operations” wording, leaving the recommendation focused on using checked_add/saturating_add instead of raw +.

^{Written by Cursor Bugbot for commit bdd86cc. This will update automatically on new commits. Configure here.}

[reviewable-StarkWare]

This change is 

[github-actions]

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale.
This PR will be closed and locked in 7 days if no further activity occurs.
Thank you for your contributions!

[ShahakShama]

• add comment in return value section to split checking the value and performing action to 2 lines #13144 : 2 dependent PRs (#13145 , #13146 )
• remove bad example in foo_or_else section #13141
• improve the starting paragraphs of testing section #13139
• improve macros section #13137
• remove unnecessary misc sections #13131
• reorder sections (move AI and Testing up) #13118
• remove open issues section #13115
• improve external dependencies section #13114
• remove github smell testing section #13113
• create misc section, move stuff into it, and order by importance (no erasure of anything yet) #13112
• change file layout section #13078
• add section on sleep in tests #13073
• add section on dependency injection #13072
• move expect message to a separate section with more explanation #13071
• add directory layout section #12950
• rename allocations and add &Option<T> #12781
• remove laziness  #11591
• rewrite types section #11588
• more comments  #11587
• more comments  #11586
• more comments  #11585
• more comments  #11584
• arithmetic: remove ditto for other mathematical operations. #11848 👈 (View in Graphite)
• gilad/style-guide

This stack of pull requests is managed by Graphite. Learn more about stacking.

[Stavbe]

@Stavbe reviewed 1 file and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on ShahakShama).

[github-actions]

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale.
This PR will be closed and locked in 7 days if no further activity occurs.
Thank you for your contributions!