update changelog

math-comp · Aug 7, 2020 · bc0e4b2 · bc0e4b2
1 parent ed7d91c
commit bc0e4b2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -67,6 +67,9 @@
     valid for a `uniformType`
   + moved `continuous_withinNx` from `normedType.v` to `topology.v` and
     generalised it to `uniformType`
+- moved from `measure.v` to `sequences.v`
+  + `ereal_nondecreasing_series`
+  + `ereal_nneg_series_lim_ge` (renamed from `series_nneg`)
 
 ### Renamed