blob: 6a4070a82e45452558d936bf23ee6ec4707d7e59 (
plain)
1
2
3
4
|
- **Deprecated:**
``Bool.leb`` in favor of ``Bool.le``. The definition of ``Bool.le`` is made local to avoid conflicts with ``Nat.le``. As a consequence, previous calls to ``leb`` based on importing ``Bool`` should now be qualified into ``Bool.le`` even if ``Bool`` is imported.
(`#12162 <https://github.com/coq/coq/pull/12162>`_,
by Olivier Laurent).
|
