Skip to content

Commit 2877d15

Browse files
NicholasBHubbardNicholasBHubbard
committed
add changelog length_app_comm
1 parent 8103bb5 commit 2877d15

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

‎doc/changelog/01-added/75-add-length_app_comm.rst

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
- in `List.v`
2+
3+
+ lemma `length_app_comm`
4+
(`#75 <https://github.com/coq/stdlib/pull/75>`_,
5+
by Nicholas Hubbard).

0 commit comments

Comments
 (0)