Skip to content

Commit

Permalink
gh-38513: various details in arithgroup_generic
Browse files Browse the repository at this point in the history
    
various minor details in the modified file


### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
    
URL: #38513
Reported by: Frédéric Chapoton
Reviewer(s): Matthias Köppe
  • Loading branch information
Release Manager committed Aug 27, 2024
2 parents 3b3acd9 + 0e0cf0c commit 3d6600a
Showing 1 changed file with 105 additions and 99 deletions.
Loading

0 comments on commit 3d6600a

Please sign in to comment.