blob: 872b1f09ebc267d6c2609114300ba2d80d724e59 (
plain)
1
2
3
4
5
6
|
- **Added:**
Enable canonical `fun _ => _` projections,
see :ref:`canonicalstructures` for details.
(`#14041 <https://github.com/coq/coq/pull/14041>`_,
by Jan-Oliver Kaiser and Pierre Roux,
reviewed by Cyril Cohen and Enrico Tassi).
|
