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.
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.