From 9832c2a4714fc594f159e277f65b0d388ff643d7 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 21 Nov 2019 02:07:33 +0100
Subject: Taking @Zimmi48's comment into account

Co-Authored-By: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>---
 doc/changelog/06-ssreflect/11136-inj_compr.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/changelog/06-ssreflect/11136-inj_compr.rst b/doc/changelog/06-ssreflect/11136-inj_compr.rst
index 9c118ce0b5..b546fcde6b 100644
--- a/doc/changelog/06-ssreflect/11136-inj_compr.rst
+++ b/doc/changelog/06-ssreflect/11136-inj_compr.rst
@@ -1 +1,2 @@
-- added lemma inj_compr (`#11136 <https://github.com/coq/coq/pull/11136>`_, by Cyril Cohen).
+- Added lemma :g:`inj_compr` to :g:`ssr.ssrfun`
+  (`#11136 <https://github.com/coq/coq/pull/11136>`_, by Cyril Cohen).
-- 
cgit v1.2.3