path: root/doc/changelog/10-standard-library/13986-clean-List-imports.rst

- **Removed:**
  from ``List.v`` deprecated/unexpected dependencies ``Setoid``, ``Le``, ``Gt``, ``Minus``, ``Lt``
  (`#13986 <https://github.com/coq/coq/pull/13986>`_,
  by Andrej Dudenhefner).