doc/changelog/04-tactics/10774-zify-Z_to_N.rst


1
2
3
4

- **Added:**
  The :tacn:`zify` tactic is now aware of `Z.to_N`.
  (`#10774 <https://github.com/coq/coq/pull/10774>`_, grants
  `#9162 <https://github.com/coq/coq/issues/9162>`_, by Kazuhiko Sakaguchi).