path: root/doc/changelog/10-standard-library/11127-trunk.rst

- **Added:** Theorem :g:`bezout_comm` for natural numbers
  (`#11127 <https://github.com/coq/coq/pull/11127>`_, by Daniel de Rauglaudre).