- **Added:**
  :term:`Reversible coercions <reversible coercion>` are coercions which cannot be
  represented by a regular coercion (a Gallina function)
  but rather a meta procedure, such as type class inference
  or canonical structure resolution
  (`#15693 <https://github.com/coq/coq/pull/15693>`_,
  by Cyril Cohen, Pierre Roux, Enrico Tassi,
  reviewed by Ali Caglayan, Jim Fehrle and Gaëtan Gilert).

- **Added:**
  :term:`Reversible coercions <reversible coercion>` are coercions which cannot be
  represented by a regular coercion (a Gallina function)
  but rather a meta procedure, such as type class inference
  or canonical structure resolution
  (`#15693 <https://github.com/coq/coq/pull/15693>`_,
  by Cyril Cohen, Pierre Roux, Enrico Tassi,
  reviewed by Ali Caglayan, Jim Fehrle and Gaëtan Gilbert).

Fix typo in reverse coercions changelog
Fix typo in reverse coercions changelog
