doc/changelog/10-standard-library/09811-remove-zlogarithm.rst


1
2
3
4

- **Removed:**
  Deprecated modules `Coq.ZArith.Zlogarithm` and `Coq.ZArith.Zsqrt_compat`
  (`#9881 <https://github.com/coq/coq/pull/9811>`_,
  by Vincent Laporte).