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