Commit 2025-06-16 13:31 823f80fe

View on Github →

chore(FreeAbelianGroup): rename punitEquiv to uniqueEquiv (#25954) This was generalised without being renamed.

Estimated changes