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: b546fcde6b6e0c0c55519b14d1830325e58e989d (plain)

1
2

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