deprecation warning and CHANGELOG entry

Author: jamesmckinna

CHANGELOG.md

@@ -946,6 +946,8 @@ Deprecated names
   pos-distrib-* ↦ pos-*
   pos-+-commute ↦ pos-+
   abs-*-commute ↦ abs-*
+  
+  +-isAbelianGroup ↦ +-0-isAbelianGroup
   ```
 
 * In `Data.List.Properties`:

src/Data/Integer/Properties.agda

@@ -2381,3 +2381,8 @@ pos-distrib-* m n = sym (pos-* m n)
 "Warning: pos-distrib-* was deprecated in v2.0
 Please use pos-* instead."
 #-}
++-isAbelianGroup = +-0-isAbelianGroup
+{-# WARNING_ON_USAGE +-isAbelianGroup
+"Warning: +-isAbelianGroup was deprecated in v2.0
+Please use +-0-isAbelianGroup instead."
+#-}