doc/changelog/06-ssreflect/13473-test_pred.rst


1
2
3
4

- **Added:**
  Adding a test that the notations `{in _, _}` and `{pred _}` from `ssrbool.v` are displayed correctly.
  (`#13473 <https://github.com/coq/coq/pull/13473>`_,
  by Cyril Cohen).