changelog for 17560

Alizter · Jul 16, 2024 · c8fbe6b · c8fbe6b
1 parent 447f6cf
commit c8fbe6b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/doc/changelog/11-standard-library/17560-nat_mul_reg.rst b/doc/changelog/11-standard-library/17560-nat_mul_reg.rst
@@ -0,0 +1,3 @@
+- **Added:** lemmas :g:`mul_reg_l` and :g:`mul_reg_r` to `NatInt`
+  (`#17560 <https://github.com/coq/coq/pull/17560>`_,
+  by Remzi Yang).