11136-inj_compr.rst « 06-ssreflect « changelog « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/changelog/06-ssreflect/11136-inj_compr.rst

blob: 7ebf95b9882d378f0466884e38be40710ceecd6d (plain)

1
2

- **Added:** Lemma :g:`inj_compr` to :g:`ssr.ssrfun`
  (`#11136 <https://github.com/coq/coq/pull/11136>`_, by Cyril Cohen).