path: root/doc/changelog/04-tactics/13715-lia_implb.rst

- **Added:**
  :tacn:`lia` supports the boolean operator `Bool.implb` (`#13715 <https://github.com/coq/coq/pull/13715>`_, by Frédéric Besson).