Commit 2025-07-23 08:49 349d104b

View on Github →

chore(Algebra/Group/Hom/Instances): tidy and cancellativity (#27318) These can be constructed with less work via the injectivity constructors. This also adds the cancellative instances.

Estimated changes