agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard

Published 20 hours ago • verified publisher icon agda

`Data.Integer.Properties.+-isAbelianGroup` should be called `+-0-isAbelianGroup`

Open Taneb opened this issue 3 years ago • 0 comments

This is consistent with the other names in the module as well as Data.Rational.Properties

Taneb avatar Oct 06 '22 09:10 Taneb