diff --git a/doc/changelog/11-standard-library/17258-remove-Zmodulo.rst b/doc/changelog/11-standard-library/17258-remove-Zmodulo.rst
new file mode 100644
index 0000000000000..da3c3e73ed3c3
--- /dev/null
+++ b/doc/changelog/11-standard-library/17258-remove-Zmodulo.rst
@@ -0,0 +1,5 @@
+  - **Removed:** :g:`Numbers.Cyclic.ZModulo` from the standard library. This file
+  was deprecated in 8.17 and has no known use cases. It is retained in
+  the test suite to ensure consistency of :g:`CyclicAxioms`
+  (`#17258 <https://github.com/coq/coq/pull/17258>`_,
+  by Andres Erbsen).