Commit 2025-01-06 17:01 69241484
View on Github →chore(Algebra): make more names consistent (#20449)
- Follows on from #20272
- Rename some substructure constructions to align with
oneLE
/nonneg
- Clarify some documentation Moves:
- squareIn -> square
- evenIn -> even
- sumSqIn -> sumSq