diff options
| author | Edward Wang | 2020-09-07 03:23:44 +0000 |
|---|---|---|
| committer | Edward Wang | 2020-09-07 05:53:59 +0000 |
| commit | f2ba2ad48dfa72f293702f4f86565b12f0302d4b (patch) | |
| tree | ef466ad1c27847aec7c2ea31c30184397c70678c | |
| parent | d79c6b1de2a5b0efbe4d2e2c75b4a7c587df6767 (diff) | |
Add changelog entry
| -rw-r--r-- | doc/changelog/10-standard-library/12094-app_inj_tail.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/changelog/10-standard-library/12094-app_inj_tail.rst b/doc/changelog/10-standard-library/12094-app_inj_tail.rst new file mode 100644 index 0000000000..702fbb3d64 --- /dev/null +++ b/doc/changelog/10-standard-library/12094-app_inj_tail.rst @@ -0,0 +1,5 @@ +- **Added:** + Extend some list lemmas to both directions: `app_inj_tail_iff`, `app_inv_head_iff`, `app_inv_tail_iff`. + (`#12094 <https://github.com/coq/coq/pull/12094>`_, + fixes `#12093 <https://github.com/coq/coq/issues/12093>`_, + by Edward Wang). |