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

Estimated changes